Propositie
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 beweringen waarvan de waarheidswaarde onbekend is, zoals Wicky vindt Wikipedia een interessante encyclopedie.
In de moderne filosofie, logica en taalkunde, een propositie is 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 vals is, en de waarde 1 indien ze waar is.
[bewerk] Notatie
- W(p) = 0 als de propositie p vals is.
- W(p) = 1 als de propositie p waar is.
[bewerk] Voorbeelden
- p: Dit is een artikel op de vrije encyclopedie Wikipedia
- W(p) = 1
- w: Een kabeljauw is een zoogdier
- W(q) = 0
