Sumários
T_3
27 Setembro 2022, 10:30 • Mário Jorge Edmundo
Tabelas de verdade, exemplo; tautologia e tt-satisfazível, princípio do terceiro excluído e princípio da não-contradição; possibilidade e verdade lógica; tautologia e verdade lógica, exemplo; possibilidade lógica e tt-satisfazível, exemplo.
T2
23 Setembro 2022, 09:30 • Mário Jorge Edmundo
Interpretação de uma LPO, a semântica das sentenças atómicas, exemplos, nota sobre a reflexividade e o princípio da substituição para a igualdade, os conectivos booleanos, a semântica das conectivos booleanos, nota sobre os parênteses, exemplos de sentenças com conectivos booleanos, respectivas traduções e valor lógico numa interpretação.