Construção de mundos de blocos e determinação de valor de verdade de sentenças em interpretação da LPO considerada.

21 Outubro 2021, 10:30 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 6, 7, 16 e 13 (alíneas ímpares) do caderno de exercícios disponibilizado na página Moodle da disciplina.