Sumários
AULA 6
6 Outubro 2017, 09:30 • Fernando Ferreira
A noção de consequência lógica. Argumentos e contra-exemplos.
Inferências básicas com a conjunção e a disjunção. O método da demonstração por casos.
Aula 6 (TP13)
4 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 25, 28, 29 e 30.
AULA 5
3 Outubro 2017, 10:30 • Fernando Ferreira
Uma fórmula S do cálculo proposicional é uma tautologia se, e somente se, ~S não é tt-satisfazível.
Literais. Forma normal negativa. Forma normal disjuntiva (FND) e forma normal conjuntiva (FNC).
Toda a fórmula do cálculo proposicional é tt-equivalente a uma fórmula em FND.
Toda a fórmula do cálculo proposicional é tt-equivalente a uma fórmula em FNC.