propositio

Propositio eli väitelause on propositiologiikassa jotakin seikkaa, tapahtumaa tai asiantilaa ilmaiseva lause. Kaksiarvologiikassa proposition totuusarvo on aina tosi tai epätosi. Matemaattisessa logiikassa totuusfunktio liittää totuusarvon väitelauseeseen.