Sumários

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

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

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

Resolução dos exercícios 3, 14, 15 (TPC), 33 e 37.

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

A semântica das fórmulas, condições, condições universais e condições possíveis. A semânticas das sentenças; exemplos.

7 Novembro 2022, 12:00 • Mário Jorge Edmundo

Resolução dos exercícios 3, 14, 33 e 37.

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

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