Sumários
T_6
7 Outubro 2022, 09:30 • Mário Jorge Edmundo
Regras de inferência: introdução da igualdade, eliminação da igualdade, exemplos (simetria e transitividade da igualdade); reiteração, introdução da conjunção, eliminação da conjunção, introdução da disjunção e eliminação da disjunção, exemplos (comutatividade da disjunção, há números irracionais tais que um elevado ao outro é racional).
TP12_5
6 Outubro 2022, 10:30 • Mário Jorge Edmundo
Resolução dos exercícios 24, 25, 27 (TPC), 28 e 29.
T_5
4 Outubro 2022, 10:30 • Mário Jorge Edmundo
Consequência lógica, inferência válida e consequência lógica, exemplos; demonstrações e contra-exemplos; propriedades da consequência lógica; verdade lógica e consequência lógica; equivalência lógica e consequência lógica; tt-consequência, exemplos, tt-consequência e consequência lógica.