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 josjoss (jos ja vain jos) sen negaatio on epätosi. Konjunktio on tosi jos molemmat sen yhdistämät ilmaisut ovat tosia.
 
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: