T_3
15 Outubro 2021, 09:30 • Mário Jorge Edmundo
Tabelas de verdade, exemplo; Tautologia e tt-satisfazibilidade, princípio do terceiro excluído e da não contradição; Possibilidade e verdade lógica; Tautologia e verdade lógica, possibilidade lógica e tt-satisfazível, exemplos.