A Se α e β são satisfazíveis, então α =β.
B Se α é insatisfazível, então existe pelo menos uma interpretação I tal que I(α)=V.
C Se α e β são insatisfazíveis, então existe pelo menos uma interpretação I tal que I(α → β)=F.
D Se α e β são satisfazíveis, então não existe interpretação I tal que I(α → β)=F.
E Se α é uma tautologia, então não existe interpretação I tal que I(¬ α)=V.