Ero sivun ”Disjunktio” versioiden välillä

951 merkkiä lisätty ,  8 vuotta sitten
ei muokkausyhteenvetoa
 
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:
#REDIRECT [[Propositiologiikka#Propositiologiikan syntaksi]]
* 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.
 
 
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.