Tieteen termipankki
fi inklusiivinen disjunktio
en inclusive disjunction
määritelmä
klassisessa logiikassa tavallinen totuusfunktionaalinen konnektiivi, jota vastaa luonnollisen kielen sana "tai"
klassisessa logiikassa tavallinen totuusfunktionaalinen konnektiivi, jota vastaa luonnollisen kielen sana "tai"
selite
Kahden lauseen tai proposition muodostama inklusiivinen disjunktio on lause tai propositio, joka on tosi silloin kun jompi kumpi tai molemmat disjunktion muodostavista lauseista ovat tosia ja epätosi ainoastaan silloin kun molemmat ovat epätosia.
Kahden lauseen tai proposition muodostama inklusiivinen disjunktio on lause tai propositio, joka on tosi silloin kun jompi kumpi tai molemmat disjunktion muodostavista lauseista ovat tosia ja epätosi ainoastaan silloin kun molemmat ovat epätosia.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: disjunktio, eksklusiivinen disjunktio, ekvivalenssi, implikaatio, konjunktio, materiaalinen implikaatio, negaatio ja tiukka implikaatio
Koostumussuhteinen yläkäsite: modus tollendo ponens
Koostumussuhteinen vieruskäsite: eksklusiivinen disjunktio