Sumários
TP12 aula 2
22 Setembro 2022, 10:00 • Maria da Purificação Antunes Coelho
Exercícios 3 (resolução parcial) e 5. Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Exemplos de fórmulas logicamente equivalentes. Breve referência à noção de consequência lógica.
TP13 aula 2
21 Setembro 2022, 12:30 • Maria da Purificação Antunes Coelho
Exercício 5. Tabelas de verdade da conjunção, da disjunção, da negação, da implicação e da equivalência. Exemplos de fórmulas logicamente equivalentes. Exemplos de tautologias.
TP16: Sistemas de numeração, tautologia e equivalência lógica.
21 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 2, 3 e 5. Tautologia, fórmulas logicamente equivalentes e algumas leis de equivalência lógica: leis de De Morgan, leis distributivas, lei da dupla negação, leis de idempotência, lei condicional. Negação da implicação. Resolução do Exerc. 6.(a).
TP12 aula 1
20 Setembro 2022, 10:30 • Maria da Purificação Antunes Coelho
Apresentação. Resolução parcial dos exercícios 1 e 2.
T12 aula 1
20 Setembro 2022, 09:30 • Maria da Purificação Antunes Coelho
Apresentação.