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.