Sumários
Formas Normais
7 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 23, 24 e 25.
T6
4 Outubro 2019, 09:30 • Mário Jorge Edmundo
Consequência lógica, propriedades, inferências válidas; tt-consequência, exemplo (modus tollendo ponens); tt-consequências e consequência lógica, exemplo (transitividade da igualdade); nota sobre consequência lógica e verdade lógica e sobre consequência lógica e equivalência lógica; como é que se mostra que uma sentença é consequência lógica de outras, o que é uma demonstração; Regras de inferência: as regras de inferência introdução da igualdade [= Intro] e eliminação da igualdade [= Elim].
Tautologias e verdades lógicas
4 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 20, 21 e 22.