Propositie

In de logica is een propositie een zin die waar of onwaar kan zijn. Dit geldt niet voor bijvoorbeeld vragen, wensen of uitroepen. Of de propositie waar of onwaar is hoeft niet bekend te zijn, zolang de vraag óf het waar is maar zinvol gesteld kan worden.

Voorbeelden

"Een kabeljauw is een vis" is een ware propositie.

"Een kabeljauw is een zoogdier" is een onware propositie.

"Een kabeljauw is vers" is een contingente propositie.

"Is dit een kabeljauw?" is een vraag en geen propositie.

Zie ook

• Propositielogica
• Bewering (logica)
• Stelling
• Abonnement (bij het openbaar vervoer in Nederland wordt de term propositie hiervoor gebruikt)