Ero sivun ”Disjunktio” versioiden välillä

4 merkkiä lisätty ,  2 vuotta sitten
ei muokkausyhteenvetoa
(→‎Luonnolliset kielet: eipä tarvitse hehkuttaa tällaista)
[[Kuva:Venn 0111 1111.svg|220px|thumb|Lausetta <math>\scriptstyle A \or B \or C</math> vastaava Venn-diagrammi]]
 
'''Disjunktio''' on [[propositiologiikka|propositiologiikassa]] kaksipaikkainen [[looginen konnektiivi]], joka vastaa yleiskielen sanaa ''[[tai]]''. Sillä muodostettu yhdistetty lause on tosi, jos ainakin yksi sen yhdistämistä lauseista on tosi, muussa tapauksessa epätosi.<ref name=Standord>{{verkkoviite | Osoite = http://plato.stanford.edu/entries/disjunction/ | Nimeke = Disjunction | Julkaisija = Stanford Enclycopedia of Philosophy | Viitattu = 9.4.2015}}</ref> Lauseiden ''A'' ja ''B'' disjunktiolle käytetään merkintää <math>A \or B</math>.
 
Näin määritellystä disjunktiosta käytetään myös nimitystä ''inklusiivinen tai'' eli ''inklusiivinen disjunktio'' erotukseksi [[eksklusiivinen disjunktio|eksklusiivisesta disjunktiosta]] ("joko A tai B, mutta ei molemmat"), joka on tosi vain silloin, jos vain toinen sen yhdistämistä lauseista on tosi.<ref name=Ensyklopedia>{{kirjaviite | Nimeke = Otavan suuri ensyklopedia, 5. osa (Kriminologia–Makuaisti) | Sivu = 3800 | Kirjoittaja = Ilkka Niiniluoto | Luku = Logiikka (Lauselogiikka, Konnektiivit) | Julkaisija = Otava | Vuosi = 1978 | Tunniste = ISBN 951-1-04827-9}}</ref> Koska sanaa ''tai'' käytetään tavallisessa kielessä eri yhteyksissä kummassakin merkityksessä, inklusiivista disjunktiota tarkoitettaessa käytetään mahdollisen väärin­käsityksen välttämiseksi nykyisin joskus ilmaisua ''[[ja/tai]]''.
2 430

muokkausta