T4

27 Setembro 2019, 09:30 • Mário Jorge Edmundo

Exemplo de tabela de verdade. Tautologia e tt-satisfazibilidade; princípio do terceiro excluído, princípio da não contradição; Possibilidade, verdade e falsidade lógica, exemplos, tautologia e verdade lógica, tt-satifazibilidade e possibilidade lógica.  Equivalência lógica, propriedades (reflexividade, simetria, transitividade e princípio da substituição de equivalentes); Regras de substituição: idempotência, comutatividade, associatividade.