Propositio

propositiologiikassa jotakin seikkaa, tapahtumaa tai asiantilaa ilmaiseva lause
(Ohjattu sivulta Väitelause)

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

muokkaa
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.