Sumários

TP11: fórmulas lógicas e equivalência lógica. Tipologia da aula: videoconferência + presencial.

19 Outubro 2020, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 13, 14.a)-d) e 15.a), b). Explicação sobre o Exerc. 18. Explicação sobre inferências. Resolução do Exercício 20.a), b).

TP13 - 16 de outubro

16 Outubro 2020, 14:00 • Maria da Purificação Antunes Coelho

Exercícios 7, 8, 9 e 20(a)-(h).

TP14 - 16 de outubro

16 Outubro 2020, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 7, 8, 9 e 20(a)-(h).

TP11: análise lógica. Tipologia da aula: videoconferência + presencial.

16 Outubro 2020, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 6-11.

Aula teórica 4

15 Outubro 2020, 11:30 • Maria da Purificação Antunes Coelho

Equivalência lógica de fórmulas: leis comutativas, associativas, da dupla negação, de De Morgan, de idempotência, condicional e do contrarrecíproco. Tautologias e contradições - definições e exemplos.