Disjunktion är en domare sannolikt kommer att dra slutsatsen att i flera fall, förekomsten av minst ett fall domen. Kant "logik noterar," [1] på ett sådant åtskiljande följande definition: "Om en med räckvidden av begreppet de olika delarna till varandra i alla bestämmelser i, eller som ett komplement (komplementaritet) varje specificerad som en helhet, då Denna dom är disjunktiva. "
Disjunktion är uppdelad i kompatibla och inkompatibla disjunktion skiljaktigheter. Varje består av disjunktion domare, som kallas disjunktiva gren. En disjunktion har minst två åtskiljande gren. Mellan disjunktiva gren, kan vara förenligt relation, kan det vara oförenligt relation. Den tidigare använda "eller ... eller ..." "får ... får ...", och så gör de logiska konnektiv, åtminstone en disjunktiva gren är sant, är det disjunktionen sant. Den senare med "antingen ... eller ...", "... inte ..." och så gör de logiska konnektiv, och endast i en gren riktigt disjunktiva fall är disjunktionen sant.
|
