T_3a

4 Outubro 2022, 11:30 • Mário Jorge Edmundo

Equivalência lógica, regras de substituição para os conectivos; literais, fórmulas sem quantificadores, formas normais disjuntivas e conjuntivas para fórmulas sem quantificadores, exemplos; regras de substituição para os quantificadores; substituição e interpretação de um termo, substituição e interpretação de uma fórmula,  substituição de variáveis mudas; forma normal prenex, exemplos.