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

TP13_11

25 Outubro 2023, 08:00 Mário Jorge Edmundo


Resolução dos exercícios 57, 61 e 62.

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

TP11_10

24 Outubro 2023, 08:00 Mário Jorge Edmundo


Resolução dos exercícios 45, 48 e 50