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, 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 op de vrije encyclopedie Wikipedia

W(p) = 1

• q: Een kabeljauw is een zoogdier

W(q) = 0

Zie ook

• Propositielogica
• Stelling