TP13_15

29 Novembro 2021, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 75 (1, 2), 76, 77 (1, 3).

TP14_14

26 Novembro 2021, 11:30 • Mário Jorge Edmundo

Resolução dos exercícios 64 e 68.

T_13

26 Novembro 2021, 09:30 • Mário Jorge Edmundo

Nota sobre parêntesis numa fórmula com quantificadores, exemplos. Variáveis livres, exemplos, variáveis mudas, sentenças. Formas aristotélicas, exemplos; exemplos de quantificações múltiplas e respectivas traduções; quantificações numéricas. 

TP11_14

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

Resolução dos exercícios 64 e 68.

25 Novembro 2021, 10:30 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 57, 59 e 62.