Propositio

Antsawikistä
Siirry navigaatioon Siirry hakuun

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 | muokkaa wikitekstiä]

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