Propositie

In de logica is een propositie een zin die waar of onwaar is. Dit geldt niet voor bijvoorbeeld vragen, wensen of uitroepen.

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 propositie wanneer er een duidelijk beeld wordt gegeven wanneer iets "vers" is.

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

"2=3" is een onware propositie.

"2n=n+4" wordt een propositie als er een waarde aan n wordt toegekend (voor n=4 is de propositie waar).

Zie ook

• Propositielogica
• Bewering (logica)
• Stelling
• Landelijke propositie (Bij het openbaar vervoer in Nederland wordt de term propositie gebruikt voor een kortingsrecht dat men kan kopen.)