Sumários
TP12: tt-consequência e demonstrações formais.
26 Outubro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 31(4) e 39(4), (1), (3).
TP14: Demonstrações formais.
25 Outubro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 39(3), 40, 41 e 43(1), (2).
T11_11
24 Outubro 2023, 10:30 • Mário Jorge Edmundo
Mais regras de inferência: eliminação e introdução do condicional, eliminação e introdução do bicondicional; exemplos de demonstrações informais (modus tollens, se o quadadro de um inteiro é par então ele é par); exemplos de demonstrações formais (modus tollens, silogismo hipotético, fortalecimento do antecedente, lei da dupla negação, lei do contra-recíproco, substituição do condicional).