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.