अगर हम रॉयल स्पैनिश एकेडमी ( RAE ) के शब्दकोश में द्विसंयोजक शब्द की तलाश करते हैं, तो हम इसे नहीं पाएंगे। हालाँकि, इस अवधारणा का उपयोग अक्सर दर्शन और तर्क के क्षेत्र में किया जाता है।

एक द्विसंयोजक एक प्रस्ताव है जिसमें एक दोहरी सशर्तता है, जो एक द्विआधारी तरीके से संबंधित सूत्रों द्वारा तय की गई है। बोलचाल की भाषा में, विचार "अगर और केवल अगर" के साथ जुड़ा हुआ है: द्विवार्षिक सत्य है यदि यह शब्द सत्य मूल्य को साझा करता है (अर्थात, यदि दो सूत्र सत्य हैं या यदि दो सूत्र झूठे हैं )। दूसरी ओर, जब सूत्रों के अलग-अलग सत्य मूल्य होते हैं (क्योंकि एक झूठा है और दूसरा सच्चा है), द्विदंड गलत है।

दूसरे शब्दों में, एक biconditional का तात्पर्य है कि R, S के लिए एक पर्याप्त और आवश्यक शर्त है । यह भी संकेत दिया जा सकता है कि "यदि आर, फिर एस" और वह "यदि एस, तो आर" ।

निम्नलिखित प्रस्ताव का उदाहरण लें: "एक पुरुष जैविक रूप से पुरुष लिंग से संबंधित है यदि उसके पुरुष प्रजनन अंग हैं । " सांस्कृतिक और पहचान के मुद्दों को छोड़कर, यह पुष्टि की जा सकती है कि एक पुरुष मर्दाना लिंग का हिस्सा है "अगर और केवल अगर" इसमें पुरुष प्रजनन अंग हैं।

उपर्युक्त सूत्रों की ओर लौटते हुए: "यदि कोई पुरुष जैविक रूप से मर्दाना लिंग के अंतर्गत आता है, तो उसके पुरुष प्रजनन अंग हैं । " इसे रिवर्स में भी व्यक्त किया जा सकता है: "यदि किसी पुरुष में पुरुष प्रजनन अंग हैं, तो यह जैविक रूप से पुरुष लिंग के अंतर्गत आता है । " जैसा कि आप देख सकते हैं, हमारे पास एक द्विसंयोजक प्रस्ताव है : यह आवश्यक है कि दोनों शब्दों का सत्य होने के लिए समान सत्य मूल्य हो।

"कण" या "नेक्सस" के अलावा जो हमने उल्लेख किया है कि जो कि द्विसंयोजक में आवश्यक हैं, हम अन्य तत्वों को अनदेखा नहीं कर सकते हैं, उसी तरह, इसका उपयोग किया जाता है। हम जिक्र कर रहे हैं, उदाहरण के लिए, "के लिए आवश्यक है और पर्याप्त है" या "के बराबर है"।

उसी तरह, हम biconditional के अन्य वास्तव में महत्वपूर्ण पहलुओं की अनदेखी नहीं कर सकते। हम उदाहरण के लिए, इस तथ्य का उल्लेख कर रहे हैं कि यह गणित के क्षेत्र में भी जबरदस्ती उपयोग किया जाता है। इस मामले में, यह कहा जाना चाहिए कि द्विसंयोजक पर प्रभाव बनाने के लिए इस्तेमाल किए जाने वाले प्रतीक दो-बिंदु वाले तीर हैं, प्रत्येक दिशा में एक।

इसके अलावा, हमें यह भी ध्यान में रखना चाहिए कि, प्रौद्योगिकी की उन्नति के साथ, हम इस तथ्य पर भी ध्यान देते हैं कि डिजिटल लॉजिक के रूप में भी जाना जाता है। इस स्थिति में, उपयोग किए जाने वाले द्विसंयोजक संचालक XNOR है।

जो संकेत दिया गया है, इसके अलावा, कुछ विचारों को संक्षेप में प्रस्तुत करने के लिए, हमें इस तथ्य से शुरू करना चाहिए कि द्विचारात्मक प्रस्ताव में अनुवाद के विभिन्न रूप हैं, जिनमें से हम निम्नलिखित पर प्रकाश डाल सकते हैं:
-पी q के लिए एक आवश्यक और पर्याप्त स्थिति है।
-पी और केवल हां क्यू। एक उदाहरण होगा: "P = एक त्रिकोण एक आयत है। Q = एक त्रिकोण में एक समकोण होता है ", जिससे यह पता चलेगा कि A त्रिभुज एक आयत है यदि और केवल यदि इसका समकोण है"।
-Si p तब q और पारस्परिक रूप से।
-Q पी के लिए एक आवश्यक और पर्याप्त स्थिति है।
-Q हाँ और केवल हाँ पी।
-यदि फिर q और पारस्परिक रूप से।