Sumários

TP13-21

26 Novembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 85, 87 (1, 3), 90 [início] e 93 (1, 3, 5) [início].

AULA 19

23 Novembro 2018, 09:30 • Fernando Ferreira

Fórmulas atómicas. Quantificadores existenciais e universais. Alcance dos quantificadores. Variáveis mudas e variáveis livres. Satisfação (de Tarski), muito informalmente. Exemplos de fórmulas e sentenças com quantificadores. Exemplos do valor de verdade de sentenças num determinado mundo.

Leis de De Morgan para a quantificação. Outras leis. Falácias.

TP11-19

23 Novembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 80, 81, 83, 84 e 85.

19 TP12

22 Novembro 2018, 10:30 • Fernando Ferreira

Exercícios 82(1), 83, 85(5)(6), 86(1)(3) e 87(1)(3).

Aula 19 TP14

22 Novembro 2018, 08:00 • Maria da Purificação Antunes Coelho

Entrega do segundo mini-teste.
Resolução dos exercícios 81(3), 87(2), 87(3), 94 e 95(1).