Disjunctions
विकल्प (या-सम्बन्ध), ‘या’ का तर्कशास्त्रीय संयोजन; पृथक्करण/विभाजन
Origin & History
From Latin disiunctio (“a separation”), from disiungere (“to separate”), formed from dis- (“apart”) + iungere (“to join”); used in Medieval Latin logic for the “or” relation.
लैटिन disiunctio (“अलगाव/विभाजन”) से, जो disiungere (“अलग करना”) से बना है: dis- (“अलग”) + iungere (“जोड़ना”); मध्यकालीन लैटिन तर्क-परंपरा में “या” वाले सम्बन्ध के लिए प्रयुक्त।
Definition
Disjunctions are instances where things are presented as alternatives or are separated into different options; in formal logic, a disjunction is the connective “or” (A or B), which is true if at least one part is true (inclusive OR in standard logic).
डिस्जंक्शन (disjunction) के बहुवचन रूप के रूप में, disjunctions वे स्थितियाँ हैं जहाँ चीज़ें विकल्पों के रूप में रखी जाती हैं या अलग-अलग विकल्पों में बाँटी जाती हैं; तर्कशास्त्र में disjunction “या” (A या B) वाला संयोजक है, जो सामान्यतः तब सत्य माना जाता है जब कम-से-कम एक भाग सत्य हो (मानक तर्क में inclusive OR)।