Sumários

Aula teórica 4

23 Setembro 2025, 10:30 Maria da Purificação Antunes Coelho

Tabelas de verdade. Equivalência lógica e equivalência tautológica. Lei da dupla negação, leis de De Morgan, leis comutativas e leis associativas.


TP11_4

23 Setembro 2025, 08:00 Mário Jorge Edmundo

Discussão e resolução dos exercícios 6, 7, 11 e 14


TP12 aula 3

22 Setembro 2025, 12:00 Maria da Purificação Antunes Coelho

Apresentação das tabelas de verdade da negação, da conjunção e da disjunção. Exercícios 7, 8, 9 e 10.


TP14 aula 2

19 Setembro 2025, 11:30 Maria da Purificação Antunes Coelho

Exercícios 2b., 4 e 5. Apresentação das tabelas de verdade da negação, da conjunção e da disjunção.


Aula teórica 3

19 Setembro 2025, 09:30 Maria da Purificação Antunes Coelho

Termos fechados e sentenças atómicas. Os Conetivos Booleanos da negação, da conjunção e da disjunção e sua interpretação. Referência ao uso de parêntesis em sentenças que envolvam vários símbolos conetivos.