Ero sivun ”Propositiologiikka” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
KLS (keskustelu | muokkaukset) |
KLS (keskustelu | muokkaukset) |
||
Rivi 159:
'''Konjunktio''' vastaa luonnollisen kielen sanaa ''ja''. Lauseiden A ja B konjunktio ''A ja B'' on tosi vain, jos molemmat sen yhdistämät ilmaisut eli lauseet A ja B ovat tosia.
Luonnollisen kielen 'tai'-sana on kaksiselitteinen. Joskus sitä käytetään ''inklusiivisesti'', toisinaan taas ''eksklusiivisesti''. Inklusiivisen 'tai'-sanan sisältävä ilmaisu on tosi, jos toinen tai molemmat vaihtoehdoista ovat tosia. Nykykielessä tällöin käytetään joskus sanontaa ”[[ja/tai]]”. Eksklusiivinen 'tai'-ilmaisu on tosi, jos vain toinen ilmaisuista on tosi mutta eivät molemmat. Logiikassa tällaista tulkinnanvaraisuutta ei ole, koska konnektiivien merkitykset määritellään täsmällisesti. Yleisempää on käyttää inklusiivista disjunktiota. [[Eksklusiivinen disjunktio]] voidaan kuitenkin määritellä seuraavasti:
'<math>((A \vee B) \wedge \neg(A \wedge B))\,\!</math>'.
|