Sumários
TP14: Termos fechados e sentenças atómicas.
27 Setembro 2023, 09:30 • Mário João de Jesus Branco
Sentenças atómicas; exemplos. Exerc. 10 e 11 do caderno de exercícios.
T_3
26 Setembro 2023, 10:30 • Mário Jorge Edmundo
Tabelas de verdade, exemplo; tautologia e tt-satisfazível, princípios 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-satisfazibilidade.
TP11_2
26 Setembro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 10 e 11 e exercícios 1 (b), 2(b), 3(b), 4 e 5 das Notas de LPO.
TP12: Termos fechados e sentenças atómicas.
25 Setembro 2023, 12:00 • Mário João de Jesus Branco
Termos fechados e exercício suplementar sobre termos fechados. Notação prefixa e notação infixa. Exerc. 2(a) da pág. 5 das notas teóricas. Sentenças atómicas; exemplos. Exerc. 10 e 11 do caderno de exercícios.