AULA 11
26 Outubro 2018, 09:30 • Fernando Ferreira
Traduções da linguagem natural para a linguagem da lógica de primeira-ordem ("a menos que", "somente se", etc). Condição necessária e condição suficiente. O conetivo bicondicional (equivalência material).
O número de conetivos proposicionais (tabelas de verdade) com n letras proposicionais (é 2^2^n). Método sistemático de escrever esses conetivos proposicionais em forma normal disjuntiva (FND).