Propositio
Siirry navigaatioon
Siirry hakuun
 |
Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit lisätä artikkeliin tarkistettavissa olevia lähteitä ja merkitä ne ohjeen mukaan. |
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.