Sumários

3 Dezembro 2021, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 103, 106, 108.

2 Dezembro 2021, 10:30 • Maria João Antunes Dias Gouveia

Conclusão do sumário da aula anterior.

Resolução de um ex.extra e dos exercícios 71 e 75 do caderno de exercícios disponibilizado na página molde da disciplina.

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

A semânticas das fórmulas, condição universal e condição possível. A semântica das sentenças. Exemplos de sentenças e respectivos valores lógicos.

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

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

29 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia

Conclusão do ex. 59(1) e correcção do ex. 59(2). Resolução dos exercícios 69, 64 e 68.