Sumários
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
TP14_3
20 Outubro 2021, 09:30 • 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.
TP13_4
20 Outubro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de sentenças e valores lógicos numa interpretação. Resolução dos exercícios 6, 7,16 e 13.
T_4
19 Outubro 2021, 10:30 • Mário Jorge Edmundo
Equivalência lógica, propriedades, regras de substituição de equivalentes, exemplo; Forma normal negativa, literal, forma normal disjuntiva e forma normal conjuntiva, exemplo.
TP11_3
19 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.