Sumários
Lógica dos conectivos booleanos
30 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 15, 16, 17 e 18.
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.
Lógica dos conectivos booleanos
27 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 9, 13, 14 e 15.