Sumários
TP14_15
16 Novembro 2022, 09:30 • Mário Jorge Edmundo
Resolução do exercícios 103, 99 104 (TPC), 106, 108.
T_16
15 Novembro 2022, 10:30 • Mário Jorge Edmundo
Forma normal prenexa, exemplos. Skolemização, exemplo. Satisfazibilidade, skolemização e satisfazibilidade.
TP12_15
14 Novembro 2022, 12:00 • Mário Jorge Edmundo
Resolução dos exercícios 103, 99, 104(TPC), 106, 108.
T_15
11 Novembro 2022, 09:30 • Mário Jorge Edmundo
Fórmulas logicamente equivalentes, propriedades. Regras de substituição para fórmulas, incluindo: regras para os quantificadores. Contra-exemplos e exemplos de traduções equivalentes.