Metateoremas

Teorema da dedução

• Se {A1, A2, ..., An} |= B, então A1 ^ A2 ^ ... ^ An => B, e vice-versa.

Redução ao absurdo

• Se o conjunto de fórmulas Δ é satisfatível (logo tem pelo menos um modelo) e Δ U {~A} não é satisfatível, então Δ |= A.