Sumários
Aula teórica 4
26 Setembro 2019, 11:30 • Maria da Purificação Antunes Coelho
Algumas equivalências lógicas envolvendo tautologias e/ou contradições. Recíproco e contrarrecíproco de uma implicação. Diversas maneiras de traduzir uma implicação na linguagem corrente.
TP12 aula 3
26 Setembro 2019, 10:00 • Maria da Purificação Antunes Coelho
Parte do exercício 12 (verificação, por construção de tabelas de verdade, da lei distributiva à esquerda da conjunção relativamente à disjunção, da primeira lei de De Morgan e da lei do contrarrecíproco). Alíneas (a) a (e) do exercício 13. Alíneas (a) a (f) do exercício 14. Início do exercício 19.
TP 12 aula 2
24 Setembro 2019, 10:30 • Maria da Purificação Antunes Coelho
Correção dos exercícios 7 a 11.
Aula teórica 3
24 Setembro 2019, 09:30 • Maria da Purificação Antunes Coelho
Fórmulas e suas tabelas de verdade. Fórmulas logicamente equivalentes. Leis comutativas, associativas, distributivas, da dupla negação, de De Morgan, de idempotência, condicional e do contrarrecíproco. Outros exemplos de equivalência lógica de fórmulas. Tautologias e contradições - definições e exemplos.
TP 13 aula 2
23 Setembro 2019, 13:30 • Maria da Purificação Antunes Coelho
Revisão da tabela de verdade da equivalência material. Correção dos exercícios 7 a 11.