Sumários
TP15 aula 3
26 Setembro 2022, 08:00 • Maria da Purificação Antunes Coelho
Exercício 14 (resolução parcial).
TP11: Sistemas de numeração, tautologia e equivalência lógica.
23 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 2 (cont.), 3 e 5. Tabela de verdade da implicação. Tautologia, fórmulas logicamente equivalentes e algumas leis de equivalência lógica: leis de De Morgan, leis distributivas, lei da dupla negação, leis de idempotência, lei condicional. Negação da implicação. Resolução do Exerc. 6.(a), (b), (c).
TP14 aula 2
23 Setembro 2022, 11:00 • Maria da Purificação Antunes Coelho
Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Equivalência e consequência lógica - alguns exemplos.
T12 aula 2
22 Setembro 2022, 11:30 • Maria da Purificação Antunes Coelho
O recíproco e o contrarrecíproco de uma implicação. O método de demonstração por contrarrecíproco - explicação do método e exemplo ilustrativo. Referência à lei do contrarrecíproco.
AULA 2
22 Setembro 2022, 11:30 • Fernando Ferreira
Demonstração, por contrarrecíproco, da proposição que diz que se a soma de dois inteiros é ímpar, então um deles é par. Demonstração por casos de que, para todo o inteiro x, x^2 + x é par. Demonstração, por absurdo, de que não existem inteiros x, y e z com z^2 = x^2 + y^2 e x e y ímpares. Observações sobre o método da demonstração por casos e sobre o método da redução ao absurdo.