Conectivos booleanos: construção de sentenças numa LPO; a LPO dos mundos de blocos: traduções de e para essa LPO; determinação de valor de verdade em interpretações da LPO
18 Outubro 2021, 12:00 • Maria João Antunes Dias Gouveia
Correcção do TPC.
Resolução dos exercícios 12, 18 (alíneas ímpares) e 19 do caderno de exercícios disponibilizado na página Moodle da disciplina.
TPC: ex. 17