Sumários

TP14 aula 4

30 Setembro 2019, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 14 (alíneas (g) a (j)), 16(b), 19 e 20 (discussão parcial).

TP11: equivalência lógica e expressão de conectivos lógicos à custa de outros

30 Setembro 2019, 11:00 • Mário João de Jesus Branco

Asserção necessária e asserção suficiente para outra. Resolução dos Exercícios 15.c), d), 16.a), b), 17.a) e 18.a), b)i), ii).

TP13 aula 3

27 Setembro 2019, 14:00 • Maria da Purificação Antunes Coelho

Parte do exercício 12 (verificação, por construção de tabelas de verdade, da lei distributiva à esquerda da conjunção relativamente à disjunção, da primeira lei de De Morgan e da lei do contrarrecíproco). Exercício 13. Alíneas (a) a (f) do exercício 14. Início dos exercícios 19 e 20.

TP14 aula 3

27 Setembro 2019, 11:00 • Maria da Purificação Antunes Coelho

Parte do exercício 12 (verificação, por construção de tabelas de verdade, da lei distributiva à esquerda da conjunção relativamente à disjunção, da primeira lei de De Morgan e da lei do contrarrecíproco). Exercício 13. Alíneas (a) a (f) do exercício 14. Início do exercício 19.

TP11: análise lógica e equivalência lógica

27 Setembro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 11.h), i), 13, 14.a), c), e), g), h), i) e 15.a), b).