Sumários
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.
TP13_3
18 Outubro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de sentenças com conectivos booleanos e expressões mal formadas numa LPO; Exemplos de sentenças e respectivas traduções; Resolução dos exercícios 18 e 19.
TP14_2
15 Outubro 2021, 11:30 • Mário Jorge Edmundo
A LPO dos mundos de blocos, exemplos de sentenças atómicas e respectivos valores lógicos num mundo de blocos. Resolução dos exercícios 2, 4 e 5 (alguns mundos).
T_3
15 Outubro 2021, 09:30 • Mário Jorge Edmundo
Tabelas de verdade, exemplo; Tautologia e tt-satisfazibilidade, princípio do terceiro excluído e da não contradição; Possibilidade e verdade lógica; Tautologia e verdade lógica, possibilidade lógica e tt-satisfazível, exemplos.
TP11_2
15 Outubro 2021, 08:00 • Mário Jorge Edmundo
A LPO dos mundos de blocos, exemplos de sentenças atómicas e respectivos valores lógicos num mundo de blocos. Resolução dos exercícios 2, 4 e 5 (alguns mundos).