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.

Identificação da hipótese e da tese de um dado resultado.


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.