Sumários

4 Outubro 2018, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 23, 24, 27 e 28.

3 Outubro 2018, 09:30 • Maria da Purificação Antunes Coelho

Entrega do exercício 16. Resolução dos exercícios 19(7), 20 e 22. Início do exercício 23.

3 Outubro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 24, 25, 28 e 29.

2 Outubro 2018, 10:30 • Fernando Ferreira

Formas normais negativas (FNN). Formas normais conjuntivas (FNC) e formas normais disjuntivas (FND).

A noção (informal) de consequência lógica. Argumentos e contra-exemplos.

2 Outubro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 19, 20, 23, 24 e 25.