Tautologie, kontradikce, splnitelnost (PL)

Buď predikátová formule. Řekneme, že je

• tautologie - právě když je pravdivá v libovolné interpretaci (resp. v libovolné Interpretaci a kontextu)
• splnitelná - právě když existuje Interpretace a kontext, ve kterých je pravdivá
• kontradikce - právě když není splnitelná, tedy když není pravdivá v žádné interpretaci a žádném kontextu