AULA 6
7 Outubro 2016, 09:30 • Fernando Ferreira
Forma normal disjuntiva (FND). Forma normal conjuntiva (FNC). Toda a sentença do cálculo proposicional é tt-equivalente a uma sentença em FND. Toda a sentença do cálculo proposicional é tt-equivalente a uma sentença em FNC.
A noção de consequência lógica. O sinal de consequência lógica. Premissas e conclusão. O que é um contra-exemplo para mostrar que uma sentença não é consequência lógica de dadas premissas.