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.

Väitelause voi olla peruspropositio, joka katsotaan jakamattomaksi, tai loogisilla operaattoreilla (konnektiiveilla) muodostettu yhdistetty väitelause.

Propositiolla voidaan tarkoittaa myös luonnollisen kielen lauseen merkityssisältöä, eli sitä, minkä ymmärtämisestä seuraa ko. lauseen ymmärtäminen.

Katso myös 

 Propositionaalinen funktio

Logiikka