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.
In de tweewaardige logica kan een '''propositie''' gezien worden als een bewering of uitspraak waarvan met zekerheid kan gezegd worden dat deze waar of onwaar is, zoals de beweringen: ''Wikipedia is een encyclopedie'' en ''Wicky heeft een noormannenhelm op'', of [[bewering (logica)|bewering]]en waarvan de [[waarheidswaarde]] onbekend is, zoals ''Wicky vindt Wikipedia een interessante encyclopedie''.
In de moderne [[filosofie]], [[logica (wetenschap)|logica]] en [[taalkunde]] (meer in het bijzonder de [[semantiek]]) is een propositie de inhoud van een zin of bewering, niet de zin zelf. Verschillende zinnen, zelfs in verschillende talen, hebben dezelfde propositie wanneer zij dezelfde betekenis hebben.
De propositie krijgt de waarde 0 als ze onwaar is, en de waarde 1 indien ze waar is.
== Notatie ==
:W(p) = 0 als de propositie p onwaar is.
:W(p) = 1 als de propositie p waar is.
== Voorbeelden ==
*p:"''Dit is een artikel opvan de vrije encyclopedie Wikipedia.''" is een ware propositie.
* q:"''Een kabeljauw is een zoogdier.''" is een onware propositie.▼
:W(p) = 1
:"''De volgende beursdag stijgen de koersen.''" is een contingente propositie.