Ero sivun ”Disjunktio” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa
p Käyttäjän Moraalin asettaminen sivuun (keskustelu) muokkaukset kumottiin ja sivu palautettiin viimeisimpään käyttäjän KLS tekemään versi
Rivi 1:
#REDIRECT [[Propositiologiikka#Propositiologiikan syntaksi]]
Disjunktio on [[konnektiivi]] joka tuottaa toden silloin kun jos joku tuottavista lauseista on tosi , se on siis kaksi paikkainen. Siinä on "A tai B" ja sitten seuraa:
* jos A on tosi niin disjunktio tuottaa toden vaikka B olisi epä tosi.
* jos B on tosi niin disjunktio tuottaa toden vaikka A olisi epä tosi.
* Jos a ja B ovat molemmat tosia niin disjunktio tuottaa toden.
* Jos A ja B ovat molemmat epätosia niin disjunktio tuottaa epätoden.
Sillä on siis totuustaulussa 4 tulosta, joista 75% on tosiia yksi käsitteisissä tapauksissa.
 
 
 
== ero poissulkevaan taihin eli XOR iin==
Disjunktiosta poikkeaa [[xor konnektiivi]], eli poissulkeva tai "tai (toinen ja vain toinen)" jossa on muuten sama, mutta jos A ja B ovat molemmat tosia, niin tuottaa epätoden, esim:
: "Aurinko paistaa tai on pilvistä"
Jos kyseessä on pois sulkeva tai niin jos on niin että sekä paistaa että pilvistä, niin lause ei ole totta. Mutta jos on tavallinen tai niin on totta. Poissulkeva xotr on [[ekvivalenssi (logiikka)|ekvivalenssin ]] käänteis konnekttivi.
{{konnektiivit}}