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].