तार्किक तुल्यता

तर्क और गणित में, कथन $$p$$ और $$q$$ इन्हें तार्किक रूप से समतुल्य कहा जाता है यदि प्रत्येक मॉडल (तर्क) में उनका सत्य मान समान हो। $$p$$ और $$q$$ की तार्किक तुल्यता को कभी-कभी $$p \equiv q$$, या $$p :: q$$, $$\textsf{E}pq$$,  के रूप में व्यक्त किया जाता है $$p \iff q$$, उपयोग किए जा रहे नोटेशन पर निर्भर करता है।

यद्पि, इन प्रतीकों का उपयोग भौतिक तुल्यता के लिए भी किया जाता है, इसलिए उचित व्याख्या संदर्भ पर निर्भर करेगी। तार्किक तुल्यता भौतिक तुल्यता से भिन्न है, यद्पि दोनों अवधारणाएँ आंतरिक रूप से संबंधित हैं।

तार्किक तुल्यताएँ
तर्क में, कई सामान्य तार्किक तुल्यताएँ उपस्थित होती हैं और इन्हें अक्सर कानूनों या गुणों के रूप में सूचीबद्ध किया जाता है। निम्नलिखित तालिकाएँ इनमें से कुछ को दर्शाती हैं।

सशर्त कथनों से युक्त तार्किक तुल्यताएँ

 * $$p \implies q \equiv \neg p \vee q$$
 * $$p \implies q \equiv \neg q \implies \neg p$$
 * $$p \vee q \equiv \neg p \implies q$$
 * $$p \wedge q \equiv \neg (p \implies \neg q)$$
 * $$\neg (p \implies q) \equiv p \wedge \neg q$$
 * $$(p \implies q) \wedge (p \implies r) \equiv p \implies (q \wedge r)$$
 * $$(p \implies q) \vee (p \implies r) \equiv p \implies (q \vee r)$$
 * $$(p \implies r) \wedge (q \implies r) \equiv (p \vee q) \implies r$$
 * $$(p \implies r) \vee (q \implies r) \equiv (p \wedge q) \implies r$$

तार्किक तुल्यताएं जिसमें द्विकंडीशनल शामिल हैं

 * $$p \iff q \equiv (p \implies q) \wedge (q \implies p)$$
 * $$p \iff q \equiv \neg p \iff \neg q$$
 * $$p \iff q \equiv (p \wedge q) \vee (\neg p \wedge \neg q)$$
 * $$\neg (p \iff q) \equiv p \iff \neg q$$

तर्क में
निम्नलिखित कथन तार्किक रूप से समतुल्य हैं:


 * 1) अगर लिसा डेनमार्क में है, तो वह यूरोप में है (फॉर्म का एक बयान)। $$d \implies e$$).
 * 2) अगर लिसा यूरोप में नहीं है, तो वह डेनमार्क में नहीं है (फॉर्म का एक बयान)। $$\neg e \implies \neg d$$).

वाक्यात्मक रूप से, (1) और (2) विरोधाभास और दोहरे निषेध के नियमों के माध्यम से एक दूसरे से व्युत्पन्न हैं। शब्दार्थ की दृष्टि से, (1) और (2) बिल्कुल समान मॉडल (व्याख्या, मूल्यांकन) में सत्य हैं; अर्थात्, जिनमें या तो लिसा डेनमार्क में है, गलत है या लिसा यूरोप में है, सत्य है।

(ध्यान दें कि इस उदाहरण में, शास्त्रीय तर्क को मान लिया गया है। कुछ गैर-शास्त्रीय तर्क (1) और (2) को तार्किक रूप से समतुल्य नहीं मानते हैं।)

भौतिक तुल्यता से संबंध
तार्किक तुल्यता भौतिक तुल्यता से भिन्न है। सूत्रों $$p$$ और $$q$$ तार्किक रूप से समतुल्य हैं यदि और केवल यदि उनकी भौतिक तुल्यता का विवरण ($$p \iff q$$) एक तनातनी है। की भौतिक तुल्यता $$p$$ और $$q$$ (अक्सर इस प्रकार लिखा जाता है $$p \leftrightarrow q$$) स्वयं उसी औपचारिक प्रणाली में एक और कथन है $$p$$ और $$q$$. यह कथन इस विचार को व्यक्त करता है'$$p$$ अगर और केवल अगर $$q$$'. विशेष रूप से, का सत्य मूल्य $$p \leftrightarrow q$$ एक मॉडल से दूसरे मॉडल में बदल सकते हैं।

दूसरी ओर, यह दावा कि दो सूत्र तार्किक रूप से समतुल्य हैं, धातुभाषा में एक बयान है, जो दो बयानों के बीच संबंध व्यक्त करता है $$p$$ और $$q$$. कथन तार्किक रूप से समतुल्य हैं यदि, प्रत्येक मॉडल में, उनका सत्य मान समान हो।

यह भी देखें

 * तार्किक परिणाम
 * समसंतोषजनकता
 * अगर और केवल अगर
 * तार्किक द्विशर्तीय
 * तार्किक समानता
 * गणितीय संचालक (यूनिकोड ब्लॉक)#ब्लॉक|≡ आईएफएफ प्रतीक (यू+2261 इसके समान)
 * गणितीय संचालक (यूनिकोड ब्लॉक)#ब्लॉक|∷ a से b है 'जैसा' c से d प्रतीक है (U+2237 अनुपात)
 * तीर (यूनिकोड_ब्लॉक)#ब्लॉक|⇔ ब्लैकबोर्ड बोल्ड बाईकंडीशनल (U+21d4 बायां दायां दोहरा तीर)
 * तीर (प्रतीक)#तीर_इन_यूनिकोड|↔ द्विदिशीय तीर (U+2194 बायां दायां तीर)