Consequências Lógicas, Provas

Consequência lógica

Diz-se que A é consequência lógica do conjunto de fórnulas em Δ, e escreve-se:

• Δ |= A

se A toma o valor ‘verdadeiro’ em todas as interpretações para as quais cada uma das fórmulas em Δ toma também o valor verdadeiro.

Definição de Prova

Uma sequência de fórmulas {A1 , A2 , …, An } é uma prova (ou dedução) de A n a partir de um conjunto de fórmulas Δ sse cada uma das fórmulas A i está em Δ ou pode ser inferida a partir das fórmulas A1 ... Ai-1.

Neste caso escreve-se: Δ |- An