Ero sivun ”Propositio” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
p t
Srz (keskustelu | muokkaukset)
Ei muokkausyhteenvetoa
Rivi 1:
'''Propositio''' on [[propositiologiikka|propositiologiikan]] [[lause]]. [[kaksiarvologiikka|Kaksiarvologiikassa]] proposition [[totuusarvo]] on aina tosi tai epätosi.
'''Propositio''' on klassisessa [[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 asian tilaa itsessään voidaan pitää propositiona, tällöin lause voi viitata suoraan tosiasioihin, joita ei tarvitse ilmaista.
 
'''Propositiolla''' voidaan tarkoittaa myös luonnollisen kielen lauseen merkityssisältöä, eli sitä, minkä ymmärtämisestä seuraa ko. lauseen ymmärtäminen.
 
{{tynkä/Matematiikka}}