Propositio

Propositio eli väitelause on toteava lause, joka ilmaisee jonkin seikan, tapahtuman tai asiantilaa, ja on joko tosi tai epätosi, mutta ei molempia yhtä aikaa. 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

 Lähteet 

Luokka:Logiikka