Sumários
Aula 2 TP12
25 Setembro 2018, 10:30 • Maria da Purificação Antunes Coelho
Exercìcios 4 e 5 (alíneas a) a d)).Verificação, utilizando tabelas de verdade, da lei distributiva à esquerda da conjunção relativamente à disjunção. Alíneas a) e c) do exercício 8.
Aula teórica 3
25 Setembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Fórmulas e suas tabelas de verdade. Fórmulas logicamente equivalentes. Leis comutativas, associativas, de idempotência, distributivas à esquerda, da dupla negação, de De Morgan, condicional e do contrarrecíproco. Tautologias e contradições. Algumas equivalências lógicas envolvendo tautologias e/ou contradições.
TP13: sem aula
24 Setembro 2018, 13:30 • Mário João de Jesus Branco
Não houve aula devido a confusão com o horário.
TP11: análise lógica
24 Setembro 2018, 11:00 • Mário João de Jesus Branco
Resolução do Exercícios 3. Análise lógica de asserções. Resolução dos Exercícios 4 e 5.a), b), c). Equivalência lógica.
Aula 2 TP14
24 Setembro 2018, 11:00 • Maria da Purificação Antunes Coelho
Exercícios 5 e 6.
Verificação, utilizando tabelas de verdade, da lei distributiva à esquerda da conjunção relativamente à disjunção.
Alíneas (a) e (c) do exercício 8.