Väitlause A presupositsioon on mis tahes propositsioon B, mis peab olema tõene, selleks et A oleks tõene või väär. (Üldisemalt võib väljendi A presupositsiooniks nimetada propositsiooni B, mis peab olema tõene, selleks et A-l oleks mõte.)
Presupositsiooni võib defineerida nii:
Selle definitsiooni järgi on kõik tautoloogiad kõigi väitlausete presupositsioonid. Kui eeldada bivalentsuse printsiipi, siis tautoloogiad on väitlausete ainsad presupositsioonid.
Peter Strawsoni järgi on lausel "Praegune Prantsusmaa kuningas on kiilaspea" presupositsioon "Praegu on olemas üks ja ainus Prantsusmaa kuningas".[1]