https://www.diegomacedo.com.br/logica-de-primeira-ordem-sentencas-proposicoes-conectivos-logicos-principios-fundamentais-e-tabelas-verdade/
Lógica de Primeira Ordem: Sentenças, Proposições, Conectivos Lógicos, Princípios Fundamentais e Tabelas-Verdade