Sumários

4 Novembro 2022, 09:30 • Mário Jorge Edmundo

Exemplos de fórmulas e sentenças com quantificadores, incluindo formas aristotélicas, quantificações múltiplas e quantificações numéricas.

3 Novembro 2022, 10:30 • Mário Jorge Edmundo

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

2 Novembro 2022, 09:30 • Mário Jorge Edmundo

Resolução dos exercícios 47 (5,7,8), 55 e 54.

31 Outubro 2022, 12:00 • Mário Jorge Edmundo

Resolução dos exercícios 47 (5,7,8), 55 e 54.

28 Outubro 2022, 11:30 • Mário Jorge Edmundo

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