Sumários

Aula 4 TP12

2 Outubro 2018, 10:30 • Maria da Purificação Antunes Coelho

Resolução parcial dos exercícios 9 e 14. Exercício 15 (alíneas a) a h)) e exercício 19a).

Aula teórica 5

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

Introdução ao estudo dos quantificadores. Asserções da forma "Para todo o x, P(x)" e asserções da forma "Existe x tal que P(x)". Variáveis mudas e variáveis livres. Aplicação de um quantificador numa condição em várias variáveis.

TP13: equivalência lógica

1 Outubro 2018, 13:30 • Mário João de Jesus Branco

Resolução dos Exercícios 8.c)-g), 9.a), b), c), 10.a), b) e 12.a), b).

TP11: equivalência lógica

1 Outubro 2018, 11:00 • Mário João de Jesus Branco

Resolução dos 7 parcialmente (continuação), 8.f), g), 9.A9, b), c), 10.a), b) e 12.a).

Aula 4 TP14

1 Outubro 2018, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 9 (resolução parcial), 14 (conclusão), 15 (alíneas a) a h)) e 19 (alíneas a), b) e c)).