Sumários
TP14_9
10 Novembro 2021, 09:30 • Mário Jorge Edmundo
Por lapso relativamente à hora da aula não houve aula. A aula será compensada.
TP13_8
10 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de tt-consequências e contra-exemplos. Resolução dos exercícios 30 (2, 4, 6) e 31.
T_9
9 Novembro 2021, 10:30 • Mário Jorge Edmundo
O conectivo condicional (implicação material); antecedente e consequente, recíproco e contra-recíproco; nota sobre parênteses; a semântica do condicional, tabela de verdade; regra de substituição para o condicional, negação da implicação, lei do contra-recíproco; consequência lógica e implicação; só se e condição necessária; desde que e condição suficiente; a menos que e a não ser que; exemplos de traduções.
TP11_9
9 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de demonstrações informais. Resolução dos exercícios 33 e 37.
Consequência tautológica
8 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia
Correcção dos exs. 25, 28(4,7,10,13) e 29(1,2).