Ero sivun ”Propositiologiikka” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Käyttäjän 62.78.209.205 (keskustelu) muokkaus 6288177 kumottiin |
|||
Rivi 175:
</table>
Negaatio määrittää lauseen vastakohdan. Lause on tosi
Luonnollisen kielen 'tai'-sana on epämääräinen. Joskus sitä käytetään ''inklusiivisesti'', toisinaan taas ''eksklusiivisesti''. Inklusiivisen 'tai'-sanan sisältävä ilmaisu on tosi joss 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:
|