Ero sivun ”Propositio” versioiden välillä

'''Propositio''' on [[logiikka|logiikassa]] [[lause]] josta voidaan sanoa onko se tosi vai epätosi. Propositiolla voidaan tarkoittaa luonnollisen kielen lauseen merkityssisältöä tai [[Propositiologiikka|formaaleja lauseita]]: <math>((A \vee B) \wedge \neg(A \wedge B))\,\!</math>. Myös asiantilaa itsessään voidaan pitää propositiona, tällöin lause voi viitata suoraan tosiasioihin, joita ei tarvitse ilmaista.