Sumários
TP12: Formas normais negativa, conjuntiva e disjuntiva; consequência lógica e tt-equivalência. Aula leccionada remotamente (zoom).
19 Outubro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 28(10-(13), 29(2), (3) e 30(1), (2).
TP14: Consequência lógica e tt-equivalência.
18 Outubro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 30(2)-(6) e 31(1), (3).
T11_9
17 Outubro 2023, 10:30 • Mário Jorge Edmundo
O conectivo condicional, antecedente e consequente, recíproco e contra-recíproco, nota sobre parênteses; a semântica do condicional, a tabela de verdade do condicional; regras 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 (somente se e apenas 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.