तार्किक तुल्यता: Difference between revisions

Latest revision as of 20:48, 11 July 2023

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

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

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

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

सामान्य तार्किक तुल्यताएँ

समानक	नाम
$p\wedge \top \equiv p$ $p\vee \bot \equiv p$	पहचान कानून
$p\vee \top \equiv \top$ $p\wedge \bot \equiv \bot$	प्रभुत्व कानून
$p\vee p\equiv p$ $p\wedge p\equiv p$	निरर्थक या तनातनी कानून
$\neg (\neg p)\equiv p$	दोहरा निषेध कानून
$p\vee q\equiv q\vee p$ $p\wedge q\equiv q\wedge p$	क्रमविनिमेय कानून
$(p\vee q)\vee r\equiv p\vee (q\vee r)$ $(p\wedge q)\wedge r\equiv p\wedge (q\wedge r)$	सहयोगी कानून
$p\vee (q\wedge r)\equiv (p\vee q)\wedge (p\vee r)$ $p\wedge (q\vee r)\equiv (p\wedge q)\vee (p\wedge r)$	वितरणात्मक कानून
$\neg (p\wedge q)\equiv \neg p\vee \neg q$ $\neg (p\vee q)\equiv \neg p\wedge \neg q$	डी मॉर्गन के नियम
$p\vee (p\wedge q)\equiv p$ $p\wedge (p\vee q)\equiv p$	अवशोषण नियम
$p\vee \neg p\equiv \top$ $p\wedge \neg p\equiv \bot$	निषेध कानून

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

$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$

उदाहरण

तर्क में

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

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

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

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

भौतिक तुल्यता से संबंध

तार्किक तुल्यता भौतिक तुल्यता से भिन्न है। सूत्रों $p$ और $q$ तार्किक रूप से समतुल्य हैं यदि और केवल यदि उनकी भौतिक तुल्यता का विवरण ( $p\iff q$ ) एक तनातनी है।^[2]की भौतिक तुल्यता $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 बायां दायां तीर)

संदर्भ

↑ Mendelson, Elliott (1979). गणितीय तर्क का परिचय (2 ed.). pp. 56. ISBN 9780442253073.
↑ Copi, Irving; Cohen, Carl; McMahon, Kenneth (2014). तर्क का परिचय (New International ed.). Pearson. p. 348.

[1] Mendelson, Elliott (1979). गणितीय तर्क का परिचय (2 ed.). pp. 56. ISBN 9780442253073.

[2] Copi, Irving; Cohen, Carl; McMahon, Kenneth (2014). तर्क का परिचय (New International ed.). Pearson. p. 348.

[1]

[2]

@@ Line 68: / Line 68: @@
 ==भौतिक तुल्यता से संबंध==
-तार्किक तुल्यता भौतिक तुल्यता से भिन्न है। सूत्रों <math>p</math> और <math>q</math> तार्किक रूप से समतुल्य हैं यदि और केवल यदि उनकी भौतिक तुल्यता का विवरण (<math>p \iff q</math>) एक तनातनी है।<ref>{{Cite book|title=तर्क का परिचय|last1=Copi|first1=Irving|author1link = Irving Copi|last2=Cohen|first2=Carl|author2link = Carl Cohen (philosopher)|last3=McMahon|first3=Kenneth|publisher=Pearson|year=2014|edition=New International|pages=348}}</ref>
+तार्किक तुल्यता भौतिक तुल्यता से भिन्न है। सूत्रों <math>p</math> और <math>q</math> तार्किक रूप से समतुल्य हैं यदि और केवल यदि उनकी भौतिक तुल्यता का विवरण (<math>p \iff q</math>) एक तनातनी है।<ref>{{Cite book|title=तर्क का परिचय|last1=Copi|first1=Irving|author1link = Irving Copi|last2=Cohen|first2=Carl|author2link = Carl Cohen (philosopher)|last3=McMahon|first3=Kenneth|publisher=Pearson|year=2014|edition=New International|pages=348}}</ref>की भौतिक तुल्यता <math>p</math> और <math>q</math> (अक्सर इस प्रकार लिखा जाता है <math>p \leftrightarrow q</math>) स्वयं उसी [[औपचारिक प्रणाली]] में एक और कथन है <math>p</math> और <math>q</math>. यह कथन इस विचार को व्यक्त करता है'<math>p</math> अगर और केवल अगर <math>q</math>' . विशेष रूप से, का सत्य मूल्य <math>p \leftrightarrow q</math> एक मॉडल से दूसरे मॉडल में बदल सकते हैं।
-की भौतिक तुल्यता <math>p</math> और <math>q</math> (अक्सर इस प्रकार लिखा जाता है <math>p \leftrightarrow q</math>) स्वयं उसी [[औपचारिक प्रणाली]] में एक और कथन है <math>p</math> और <math>q</math>. यह कथन इस विचार को व्यक्त करता है'<math>p</math> अगर और केवल अगर <math>q</math>' . विशेष रूप से, का सत्य मूल्य <math>p \leftrightarrow q</math> एक मॉडल से दूसरे मॉडल में बदल सकते हैं।
 दूसरी ओर, यह दावा कि दो सूत्र तार्किक रूप से समतुल्य हैं, [[धातुभाषा]] में एक बयान है, जो दो बयानों के बीच संबंध व्यक्त करता है <math>p</math> और <math>q</math>. कथन तार्किक रूप से समतुल्य हैं यदि, प्रत्येक मॉडल में, उनका सत्य मान समान हो।
@@ Line 82: / Line 81: @@
 * गणितीय संचालक (यूनिकोड ब्लॉक)#ब्लॉक|≡ आईएफएफ प्रतीक (यू+2261 इसके समान)
 * गणितीय संचालक (यूनिकोड ब्लॉक)#ब्लॉक|∷ a से b है 'जैसा' c से d प्रतीक है (U+2237 अनुपात)
-* तीर (यूनिकोड_ब्लॉक)#ब्लॉक|⇔ [[ब्लैकबोर्ड बोल्ड]] बाईकंडीशनल (u+21d4 बायां दायां दोहरा तीर)
+* तीर (यूनिकोड_ब्लॉक)#ब्लॉक|⇔ [[ब्लैकबोर्ड बोल्ड]] बाईकंडीशनल (U+21d4 बायां दायां दोहरा तीर)
-* तीर (प्रतीक)#तीर_इन_यूनिकोड|↔ द्विदिशीय तीर (u+2194 बायां दायां तीर)
+* तीर (प्रतीक)#तीर_इन_यूनिकोड|↔ द्विदिशीय तीर (U+2194 बायां दायां तीर)
 == संदर्भ ==
@@ Line 90: / Line 89: @@
 {{Mathematical logic}}
 {{DEFAULTSORT:Logical Equivalence}}
-[[Category: गणितीय तर्क]] [[Category: धातुविज्ञान]] [[Category: तार्किक परिणाम]] [[Category: समतुल्यता (गणित)]]
+[[Category:Collapse templates|Logical Equivalence]]
+[[Category:Created On 23/06/2023|Logical Equivalence]]
-[[Category: Machine Translated Page]]
+[[Category:Lua-based templates|Logical Equivalence]]
-[[Category:Created On 23/06/2023]]
+[[Category:Machine Translated Page|Logical Equivalence]]
+[[Category:Mathematics navigational boxes|Logical Equivalence]]
+[[Category:Navbox orphans|Logical Equivalence]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Logical Equivalence]]
+[[Category:Pages with empty portal template|Logical Equivalence]]
+[[Category:Pages with script errors|Logical Equivalence]]
+[[Category:Philosophy and thinking navigational boxes|Logical Equivalence]]
+[[Category:Portal-inline template with redlinked portals|Logical Equivalence]]
+[[Category:Portal templates with redlinked portals|Logical Equivalence]]
+[[Category:Sidebars with styles needing conversion|Logical Equivalence]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi|Logical Equivalence]]
+[[Category:Templates Vigyan Ready|Logical Equivalence]]
+[[Category:Templates generating microformats|Logical Equivalence]]
+[[Category:Templates that add a tracking category|Logical Equivalence]]
+[[Category:Templates that are not mobile friendly|Logical Equivalence]]
+[[Category:Templates that generate short descriptions|Logical Equivalence]]
+[[Category:Templates using TemplateData|Logical Equivalence]]
+[[Category:Wikipedia metatemplates|Logical Equivalence]]
+[[Category:गणितीय तर्क|Logical Equivalence]]
+[[Category:तार्किक परिणाम|Logical Equivalence]]
+[[Category:धातुविज्ञान|Logical Equivalence]]
+[[Category:समतुल्यता (गणित)|Logical Equivalence]]

Anonymous

Search

तार्किक तुल्यता: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 20:48, 11 July 2023

Contents