


द्विशर्तीय क्या है?
एक द्विकंडीशनल "यदि और केवल यदि" (संक्षिप्त रूप में "आईएफएफ") फॉर्म का एक बयान है। यह एक तार्किक संयोजक है जो दो कथनों को जोड़ता है और दर्शाता है कि वे समतुल्य हैं, जिसका अर्थ है कि एक कथन तभी सत्य है जब दूसरा कथन सत्य है।
उदाहरण के लिए, द्विशर्त "यदि बारिश होती है, तो सड़कें गीली होंगी" हो सकता है प्रतीकात्मक रूप में इस प्रकार लिखा जाए:
P → Q
जहां P "बारिश होगी" का प्रतिनिधित्व करता है और Q "सड़कें गीली होंगी" का प्रतिनिधित्व करता है। तीर (→) इंगित करता है कि P का तात्पर्य Q से है, जिसका अर्थ है कि यदि P सत्य है, तो Q भी सत्य होना चाहिए।
इस मामले में, द्विशर्त कथन कहता है कि यदि बारिश होती है, तो सड़कें गीली होंगी, लेकिन यह नहीं कहता कि सड़कें सिर्फ इसलिए गीली होंगी क्योंकि बारिश होगी। इसके बजाय, यह कहता है कि दोनों कथन समतुल्य हैं, और एक सत्य नहीं हो सकता जब तक कि दूसरा सत्य न हो।



