Kehtestatav valem
Lausearvutuse valemit nimetatakse kehtestatavaks, kui ta on vähemalt ühel väärtustusel tõene. Sellised valemid on näiteks A ∨ B {\displaystyle A\lor B} , A ∧ ¬ B {\displaystyle A\land \neg B} või A ⇒ B {\displaystyle A\Rightarrow B} . On selge, et iga samaselt tõene valem on kehtestatav, kuid vastupidine järeldumine alati ei kehti. Üks näide kehtestatavast lausearvutuse valemist on valem, mis ei ole samaselt tõene ega samaselt väär. Uuritava valemi on kehtestatavuse kontrollimiseks on mitu võimalust, näiteks tõeväärtustabel või tõesuspuu.