Ero sivun ”Disjunktio” versioiden välillä
Siirry navigaatioon
Siirry hakuun
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
Ei muokkausyhteenvetoa |
||
| Rivi 12: | Rivi 12: | ||
: "Aurinko paistaa tai on pilvistä" |
: "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. |
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}} |
|||
Versio 4. huhtikuuta 2012 kello 17.51
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 ekvivalenssin käänteis konnekttivi. Malline:Konnektiivit