Sumários
TP12: Tautologias e sentenças tt-satisfazíveis.
9 Outubro 2023, 12:00 • Mário João de Jesus Branco
Tautologias e sentenças tt-satisfazíveis. Exerc. 20 e 22(1)-(3).
TP14: Tautologias e sentenças tt-satisfazíveis.
6 Outubro 2023, 11:30 • Mário João de Jesus Branco
Tautologias e sentenças tt-satisfazíveis. Exerc. 20 e 22(1), (2).
T_6
6 Outubro 2023, 09:30 • Mário Jorge Edmundo
Regras de inferência; introdução e eliminação da igualdade, exemplos (simetria e transitividade); reiteração; introdução e eliminação da conjunção; introdução e eliminação da disjunção; exemplos (comutatividade da disjunção, há números irracionais b>0 e c tais que b^c é racional).