View source for तार्किक निगमन

{{Short description|Relationship between statements that hold true when one logically follows from another}}
{{Redirect|अनुलाग||आवश्यक (बहुविकल्पी)}}
{{Redirect|इसलिए|इसलिए प्रतीक ∴|इसलिए हस्ताक्षर करें}}
{{Redirect|तार्किक निहितार्थ|द्विआधारी संयोजक|सामग्री सशर्त}}
{{Redirect|⊧|प्रतीक|डबल टर्नस्टाइल}}
तार्किक परिणाम (प्रवेश भी ) [[तर्क]] में मौलिक [[अवधारणा]] है जो [[कथन (तर्क)]] के बीच के संबंध का वर्णन करता है जो तब सही होता है जब कथन तार्किक रूप से एक या एक से अधिक कथनों का अनुसरण करता है। [[वैधता (तर्क)]] तार्किक तर्क वह है जिसमें परिसर द्वारा परिणामी प्रवेश किया जाता है, क्योंकि निष्कर्ष परिसर का परिणाम है। तार्किक परिणाम के [[दार्शनिक विश्लेषण]] में प्रश्न सम्मिलित हैं: किस अर्थ में निष्कर्ष अपने परिसर से निकलता है? और निष्कर्ष के लिए [[आधार]]वाक्य का परिणाम होने का क्या अर्थ है?<ref name="sep" >Beall, JC and Restall, Greg, ''[http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ Logical Consequence]'' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).</ref> सभी [[दार्शनिक तर्क]] तार्किक परिणाम की प्रकृति और [[तार्किक सत्य]] की प्रकृति का विवरण प्रदान करने के लिए हैं।<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philosophy of Logic''.</ref> 

तार्किक परिणाम तार्किक सत्य और [[औपचारिकता (गणित का दर्शन)|विधिवतता (गणित का दर्शन)]] है, उदाहरणों के माध्यम से जो [[औपचारिक प्रमाण|विधिवत प्रमाण]] और [[व्याख्या (तर्क)]] के साथ समझाते हैं।<ref name="sep" /> वाक्य को वाक्यों के एक समुच्चय का तार्किक परिणाम कहा जाता है, दी गई [[औपचारिक भाषा|विधिवत भाषा]] के लिए, यदि और केवल यदि, केवल तर्क का उपयोग करते हुए (अर्थात, वाक्यों की किसी भी व्यक्तिगत व्याख्या के संबंध में) वाक्य सत्य होना चाहिए यदि प्रत्येक वाक्य समुच्चय में सच है।<ref name="iep">[[Matthew W. McKeon|McKeon, Matthew]], ''[http://www.iep.utm.edu/logcon/ Logical Consequence]'' Internet Encyclopedia of Philosophy.</ref>

तर्कशास्त्री दी गई विधिवत भाषा के संबंध में तार्किक परिणाम का स्पष्ट लेखा-जोखा बनाते हैं <math>\mathcal{L}</math>, या तो के लिए [[कटौती प्रणाली]] का निर्माण करके <math>\mathcal{L}</math> या भाषा के लिए विधिवत अभिप्रेत व्याख्या द्वारा <math>\mathcal{L}</math>. पोलिश तर्कशास्त्री [[अल्फ्रेड टार्स्की]] ने प्रवेश के पर्याप्त लक्षण वर्णन की तीन विशेषताओं की पहचान की: (1) तार्किक परिणाम संबंध वाक्यों के [[तार्किक रूप]] पर निर्भर करता है: (2) संबंध प्राथमिकता और पश्चगामी है, अर्थात, इसे निर्धारित किया जा सकता है या [[अनुभवजन्य साक्ष्य]] (भावना अनुभव) के संबंध में; और (3) तार्किक परिणाम संबंध में एक  [[मॉडल तर्क|प्रायिकता तर्क]] घटक है।<ref name="iep" />

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

तार्किक परिणाम के सिंटैक्टिक खाते [[अनुमान नियम|अनुमान नियमो]] का उपयोग करके [[स्कीमा (तर्क)]] पर निर्भर करते हैं। उदाहरण के लिए, हम मान्य तर्क के तार्किक रूप को इस प्रकार व्यक्त कर सकते हैं:

: सभी X, Y हैं
: सभी Y, Z हैं
: इसलिए, सभी X, Z हैं।

यह तर्क विधिवत रूप से मान्य है, क्योंकि इस योजना का उपयोग करके निर्मित तर्कों का प्रत्येक [[प्रतिस्थापन (तर्क)]] मान्य है।

यह तर्क के विपरीत है जैसे फ्रेड माइक के भाई का बेटा है। इसलिए फ्रेड माइक का भतीजा है। चूंकि यह तर्क भाई, बेटा और भतीजा शब्दों के अर्थ पर निर्भर करता है, इसलिए फ्रेड माइक का भतीजा है, यह कथन फ्रेड माइक के भाई का बेटा है एक तथाकथित भौतिक शर्त है, विधिवत परिणाम नहीं। एक विधिवत परिणाम सभी स्थितियों में सही होना चाहिए, चूंकि यह विधिवत परिणाम की अधूरी परिभाषा है, क्योंकि तर्क P भी Q के भाई का बेटा है, इसलिए P, Q का भतीजा है, सभी स्थितियों में मान्य है, किन्तु विधिवत तर्क नहीं है।<ref name="sep" />


== तार्किक परिणाम की प्राथमिक  गुण ==

यदि यह ज्ञात हो <math>Q</math> से तार्किक रूप से अनुसरण करता है <math>P</math>, तो की संभावित व्याख्याओं के बारे में कोई जानकारी नहीं <math>P</math> या <math>Q</math> उस ज्ञान को प्रभावित करेगा। हमारा ज्ञान है कि <math>Q</math> का तार्किक परिणाम है <math>P</math> प्राथमिकता और पश्चगामी से प्रभावित नहीं किया जा सकता है।<ref name="sep" /> निगमनात्मक रूप से मान्य तर्कों को बिना अनुभव के सहारा लिए जाना जा सकता है, इसलिए उन्हें प्राथमिक रूप से जानने योग्य होना चाहिए।<ref name="sep" /> चूंकि, केवल विधिवतता इस बात की गारंटी नहीं देती है कि अनुभवजन्य ज्ञान से तार्किक परिणाम प्रभावित नहीं होते हैं। तो तार्किक परिणाम की प्राथमिकता  गुण को विधिवतता से स्वतंत्र माना जाता है।<ref name="sep" />

== प्रमाण और मॉडल ==
तार्किक परिणाम के खातों को प्रदान करने के लिए दो प्रचलित विधियो में प्रमाणों के संदर्भ में और मॉडल के माध्यम से अवधारणा को व्यक्त करना सम्मिलित है। वाक्यात्मक परिणाम (एक तर्क के) के अध्ययन को (इसका) प्रमाण सिद्धांत कहा जाता है जबकि (इसके) शब्दार्थ परिणाम के अध्ययन को (इसका) [[मॉडल सिद्धांत]] कहा जाता है।<ref name="ChiaraDoets1996">{{cite book|editor1=Maria Luisa Dalla Chiara |editor1-link= Maria Luisa Dalla Chiara |editor2=Kees Doets |editor3=Daniele Mundici |editor4=Johan van Benthem |title=Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995|chapter-url=https://books.google.com/books?id=TCthvF8xLIAC&pg=PA292|year=1996|publisher=Springer|isbn=978-0-7923-4383-7|page=292|chapter=Logical consequence: a turn in style|author=Kosta Dosen}}</ref>

=== वाक्यात्मक परिणाम ===
{{See also|Therefore_sign|label 1= ∴|Turnstile_(symbol)|label 2= ⊢}}
एक सूत्र <math>A</math> एक वाक्यगत परिणाम है<ref>[[Michael Dummett|Dummett, Michael]] (1993) [https://books.google.com/books?id=EYP7uCZIRQYC&pg=PA82&lpg=PA82&dq=syntactic+consequence&source=bl&ots=Ms58438B6w&sig=FE38FCaZpRpAr18gtG7INX4wieM&hl=en&ei=qOy7SoLlEI7KsQPgnYG7BA&sa=X&oi=book_result&ct=result&resnum=6#v=onepage&q=syntactic%20consequence&f=false''Frege: philosophy of language''] Harvard University Press, p.82ff</ref><ref>[[Jonathan Lear|Lear, Jonathan]] (1986) [https://books.google.com/books?id=lXI7AAAAIAAJ&pg=PA1&lpg=PA1&dq=syntactic+consequence&source=bl&ots=8IYWyFYTN-&sig=wrOg75cFxQwn1Uq-8LShBNXf9w0&hl=en&ei=I-y7SpHtLZLotgOsnLHcBQ&sa=X&oi=book_result&ct=result&resnum=10#v=onepage&q=syntactic%20consequence&f=false''Aristotle and Logical Theory''] Cambridge University Press, 136p.</ref><ref>Creath, Richard, and [[Michael Friedman (philosopher)|Friedman, Michael]] (2007) [https://books.google.com/books?id=87BcFLgJmxMC&pg=PA189&lpg=PA189&dq=syntactic+consequence&source=bl&ots=Fn2zomcMZP&sig=8hnJWsJFysNhmWLskICo4IQDYAc&hl=en&ei=I-y7SpHtLZLotgOsnLHcBQ&sa=X&oi=book_result&ct=result&resnum=6#v=onepage&q=syntactic%20consequence&f=false''The Cambridge companion to Carnap''] Cambridge University Press, 371p.</ref><ref>[http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence FOLDOC: "syntactic consequence"] {{webarchive|url=https://web.archive.org/web/20130403201417/http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence |date=2013-04-03 }}</ref><ref name="Kleene52">S. C. Kleene, ''[https://www.worldcat.org/title/introduction-to-metamathematics/oclc/523942 Introduction to Metamathematics]'' (1952), Van Nostrand Publishing. p.88.</ref> कुछ [[औपचारिक प्रणाली|विधिवत प्रणाली]] के अंदर <math>\mathcal{FS}</math> एक समुच्चय का <math>\Gamma</math> सूत्रों का यदि कोई विधिवत प्रमाण है <math>\mathcal{FS}</math> का <math>A</math> समुच्चय से <math>\Gamma</math>. यह निरूपित है <math>\Gamma \vdash_{\mathcal {FS} } A</math>. घुमक्कड़ प्रतीक <math>\vdash</math> मूल रूप से 1879 में फ्रीज द्वारा प्रस्तुत किया गया था, किन्तु इसका वर्तमान उपयोग केवल रोसेर और क्लेन (1934-1935) तक ही है। <ref name="Kleene52" />

वाक्यात्मक परिणाम विधिवत प्रणाली की किसी भी व्याख्या (तर्क) पर निर्भर नहीं करता है।<ref>[[Geoffrey Hunter (logician)|Hunter, Geoffrey]], Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971, p. 75.</ref>


=== सिमेंटिक परिणाम ===
{{See also|Double turnstile|label 1= ⊨}}
एक सूत्र <math>A</math> कुछ विधिवत प्रणाली के अंदर एक शब्दार्थ परिणाम है <math>\mathcal{FS}</math> बयानों का समुच्चय <math>\Gamma</math> यदि और केवल यदि कोई मॉडल नहीं है <math>\mathcal{I}</math> जिसमें सभी सदस्य <math>\Gamma</math> सत्य हैं और <math>A</math> गलत है।<ref>[[John Etchemendy|Etchemendy, John]], ''Logical consequence'',  The Cambridge Dictionary of Philosophy</ref> यह निरूपित है <math>\Gamma \models_{\mathcal {FS} } A,</math>. या, दूसरे शब्दों में, व्याख्याओं का वह समूह जिसके सभी सदस्य बनाते हैं <math>\Gamma</math> सत्य व्याख्याओं के समुच्चय का उपसमुच्चय है जो बनाता है <math>A</math> सत्य।

== मॉडल खाते ==

तार्किक परिणाम के मोडल लॉजिक खाते निम्नलिखित मूल विचार पर भिन्नताएं हैं:

:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सत्य है यदि और केवल यदि यह आवश्यक है कि यदि सभी तत्व <math>\Gamma</math> सच हैं, तो <math>A</math> क्या सच है।

वैकल्पिक रूप से (और, अधिकांश कहेंगे, समतुल्य):

:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सत्य है यदि और केवल यदि यह के सभी तत्वों के लिए असंभव है <math>\Gamma</math> सच होना और <math>A</math> असत्य।

ऐसे खातों को मोडल कहा जाता है क्योंकि वे तार्किक सत्य और [[तार्किक संभावना]] की मॉडल धारणाओं को अपील करते हैं। 'यह आवश्यक है कि' अधिकांशतः संभावित संसार पर [[सार्वभौमिक परिमाणीकरण]] के रूप में व्यक्त किया जाता है, जिससे उपरोक्त खातों का अनुवाद इस प्रकार हो:

:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सच है यदि और केवल यदि कोई संभव संसार नहीं है जिसमें सभी तत्व हैं <math>\Gamma</math> सत्य हैं और <math>A</math> मिथ्या (असत्य) है।

उपरोक्त उदाहरण के रूप में दिए गए तर्क के संदर्भ में मोडल अकाउंट पर विचार करें:

: सभी मेंढक हरे हैं।
:केर्मिट एक मेंढक है।
:इसलिए, केर्मिट हरा है।

निष्कर्ष परिसर का तार्किक परिणाम है क्योंकि हम संभावित संसार की कल्पना नहीं कर सकते हैं जहां (ए) सभी मेंढक हरे हैं; (बी) केर्मिट एक मेंढक है; और (सी) केर्मिट हरा नहीं है।

=== मॉडल-विधिवत खाते ===

तार्किक परिणाम के मोडल-विधिवत खाते उपरोक्त मोडल और विधिवत खातों को जोड़ते हैं, निम्नलिखित मूल विचार पर भिन्नता उत्पन्न करते हैं:

:<math>\Gamma</math> <math>\vdash</math> <math>A</math> यदि और केवल यदि यह तर्क के समान तार्किक रूप के साथ असंभव है <math>\Gamma</math>/<math>A</math> सही परिसर और गलत निष्कर्ष होना।

=== वारंट-आधारित खाते ===

ऊपर विचार किए गए खाते सभी सत्य-परिरक्षणात्मक हैं, जिसमें वे सभी मानते हैं कि अच्छे अनुमान की विशेषता यह है कि यह कभी भी किसी को सच्चे परिसर से असत्य निष्कर्ष पर जाने की अनुमति नहीं देता है। विकल्प के रूप में, कुछ ने औचित्य-परिरक्षण संबंधी खातों का सिद्धांत प्रस्तावित किया है, जिसके अनुसार अच्छे अनुमान की विशेषता यह है कि यह कभी भी किसी को उचित रूप से मुखर परिसर से निष्कर्ष पर जाने की अनुमति नहीं देता है जो उचित रूप से मुखर नहीं है। यह (मोटे तौर पर) [[माइकल डमेट]] जैसे अंतर्ज्ञानवादियों द्वारा पसंद किया गया खाता है।

=== गैर-मोनोटोनिक तार्किक परिणाम ===
{{See also|गैर-मोनोटोनिक तर्क|विश्वास संशोधन # गैर-मोनोटोनिक अनुमान संबंध}}

सबसे ऊपर चर्चा किए गए खातों में अनिवार्य परिणाम संबंधों की एकरसता उत्पन्न होती है, अर्थात ऐसे हैं कि यदि <math>A</math> का परिणाम है <math>\Gamma</math>, तब <math>A</math> के किसी सुपरसमुच्चय का परिणाम है <math>\Gamma</math>. इस विचार को पकड़ने के लिए गैर-मोनोटोनिक परिणाम संबंधों को निर्दिष्ट करना भी संभव है, उदाहरण के लिए, 'ट्वीटी कैन फ्लाई' तार्किक परिणाम है

: {पक्षी सामान्यतः उड़ सकते हैं, ट्वीटी एक पक्षी है}

किन्तु नहीं

: {पक्षी सामान्यतः उड़ सकते हैं, ट्वीटी एक पक्षी है, ट्वीटी एक पेंगुइन है}।

== यह भी देखें ==
{{div col begin}}
* [[सार बीजगणितीय तर्क]]
* [[अम्फेक]]
* [[बूलियन बीजगणित (तर्क)]]
* [[बूलियन डोमेन]]
* [[बूलियन समारोह]]
* [[बूलियन तर्क]]
* कारणता
* [[निगमनात्मक तर्क]]
* [[लॉजिक गेट]]
* [[तार्किक ग्राफ]]
* पियर्स का नियम
* [[संभाव्य तर्क]]
* [[प्रस्तावक कलन]]
* [[एकमात्र पर्याप्त ऑपरेटर]]
* [[सख्त सशर्त]]
* [[टॉटोलॉजी (तर्क)]]
* तात्विक परिणाम
* [[इसलिए हस्ताक्षर करें]]
* [[घूमने वाला दरवाज़ा (प्रतीक)]]प्रतीक)
* डबल घूमने वाला दरवाज़ा
* वैधता (तर्क)
{{div col end}}


== टिप्पणियाँ ==
{{Reflist}}


== संसाधन ==
* {{citation|last1=Anderson|first1=A.R.|last2=Belnap|first2=N.D. Jr.|title=Entailment|year=1975|publisher=Princeton|location=Princeton, NJ|volume=1}}.
* {{citation|last=Augusto|first=Luis M.|year=2017|title=Logical consequences. Theory and applications: An introduction.}} लंदन: कॉलेज प्रकाशन। श्रृंखला: [http://www.collegepublications.co.uk/logic/mlf/?00029 गणितीय तर्क और नींव]।
* {{citation|last1=Barwise|first1=Jon|author1-link=Jon Barwise|last2=Etchemendy|first2=John|author2-link=John Etchemendy|year=2008|title=Language, Proof and Logic|publisher=CSLI Publications|location=Stanford}}.
* {{citation|last=Brown | first=Frank Markham | year=2003 |title=Boolean Reasoning: The Logic of Boolean Equations}} पहला संस्करण, क्लुवर एकेडमिक पब्लिशर्स, नॉरवेल, एमए। दूसरा संस्करण, डोवर प्रकाशन, माइनोला, एनवाई, 2003।
* {{citation|author-link=Martin Davis (mathematician)|editor-last=Davis|editor-first= Martin|title=The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions|publisher=Raven Press|location=New York|year=1965|url=https://books.google.com/books?id=qW8x7sQ4JXgC&q=consequence|isbn=9780486432281}}. पेपर्स में गोडेल, [[अलोंजो चर्च]], जे. बार्कले रोसेर, क्लेन और [[एमिल लियोन पोस्ट]] सम्मिलित हैं।
* {{citation |first=Michael |last=Dummett |year=1991 |title=The Logical Basis of Metaphysics |publisher=Harvard University Press|url=https://books.google.com/books?id=lvsVFxK3BPcC&q=consequence|isbn=9780674537866 }}.
* {{citation|last=Edgington| first=Dorothy|year=2001|title=Conditionals|publisher=Blackwell}} लो गोबल (संपा.), द ब्लैकवेल गाइड टू फिलोसोफिकल लॉजिक में।
* {{citation|last=Edgington| first=Dorothy|year=2006|title=Conditionals|chapter-url=http://plato.stanford.edu/entries/conditionals| chapter=Indicative Conditionals| publisher=Metaphysics Research Lab, Stanford University}} एडवर्ड एन. ज़ाल्टा (एड.), द स्टैनफोर्ड एनसाइक्लोपीडिया ऑफ़ फिलॉसफी में।
* {{citation |first=John |last= Etchemendy |year= 1990 |title=The Concept of Logical Consequence |publisher= Harvard University Press}}.
* {{citation |editor-last=Goble |editor-first=Lou|year=2001 |title=The Blackwell Guide to Philosophical Logic |publisher= Blackwell}}.
* {{citation |last=Hanson |first= William H|year= 1997 |title=The concept of logical consequence| journal=The Philosophical Review| volume=106|issue= 3|pages= 365–409|jstor= 2998398|doi= 10.2307/2998398}} 365–409.
* {{citation |author-link=Vincent F. Hendricks|last=Hendricks |first=Vincent F. |year=2005 |title=Thought 2 Talk: A Crash Course in Reflection and Expression |location=New York |publisher=Automatic Press / VIP |isbn= 978-87-991013-7-5}}
* {{citation |last=Planchette |first=P. A. |year=2001 |title=Logical Consequence}} गोबल, लो, संस्करण, द ब्लैकवेल गाइड टू फिलॉसॉफिकल लॉजिक। ब्लैकवेल।
* {{citation|author-link=W.V. Quine|last=Quine|first=W.V.| year=1982| title=Methods of Logic|location=Cambridge, MA|publisher=Harvard University Press}} (पहला संस्करण 1950), (दूसरा संस्करण 1959), (तीसरा संस्करण 1972), (चौथा संस्करण, 1982)।
*{{citation |author-link=Stewart Shapiro |last=Shapiro |first=Stewart |year=2002 |title=Necessity, meaning, and rationality: the notion of logical consequence}} डी. जैक्वेट, एड., ए कम्पेनियन टू फिलोसोफिकल लॉजिक में। ब्लैकवेल।
*{{citation |author-link=Alfred Tarski |last=Tarski  |first=Alfred |year= 1936 |title=On the concept of logical consequence}} टार्स्की, ए., 1983 में पुनर्मुद्रित। लॉजिक, सिमेंटिक्स, मेटामैथमैटिक्स, दूसरा संस्करण। [[ऑक्सफोर्ड यूनिवरसिटि प्रेस]]। मूल रूप से [[पोलिश भाषा]] और [[जर्मन भाषा]] में प्रकाशित।
* {{cite book|author=Ryszard Wójcicki|title=तार्किक गणना का सिद्धांत: परिणाम संचालन का मूल सिद्धांत|year=1988|publisher=Springer|isbn=978-90-277-2785-5|url-access=registration|url=https://archive.org/details/theoryoflogicalc0000wojc}}
* math.niu.edu से 'निहितार्थ' पर पेपर, [http://www.math.niu.edu/~richard/Math101/implies.pdf Implication] {{Webarchive|url=https://web.archive.org/web/20141021082239/http://www.math.niu.edu/~richard/Math101/implies.pdf |date=2014-10-21 }}
* 'प्रत्यारोपित' की परिभाषा [http://www.allwords.com/word-implicant.html AllWords]

==बाहरी संबंध==
{{Commons category}}
*{{cite SEP |url-id=logical-consequence |title=Logical Consequence|date=2013-11-19|edition=Winter 2016|last=Beall|first=Jc|last2=Restall|first2=Greg|author-link=Jc Beall|author2-link=Greg Restall}}
*{{cite IEP |url-id=logcon/ |title=Logical consequence}}
*{{InPho|taxonomy|2409}}
*{{PhilPapers|category|logical-consequence-and-entailment}}
*{{springer|title=Implication|id=p/i050280}}

{{Logic}}
{{Mathematical logic}}
{{Logical connectives}}
{{Common logical symbols}}
{{Formal semantics}}

{{Authority control}}

[[Category:Articles with Internet Encyclopedia of Philosophy links]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with redirect hatnotes needing review]]
[[Category:Collapse templates]]
[[Category:Commons category link is the pagename]]
[[Category:Created On 16/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Missing redirects]]
[[Category:Multi-column templates]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Webarchive template wayback links]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:तर्क में अवधारणाएँ]]
[[Category:तार्किक परिणाम| तार्किक परिणाम ]]
[[Category:दार्शनिक तर्क]]
[[Category:निगमनात्मक तर्क]]
[[Category:प्रस्तावक कलन]]
[[Category:बाइनरी ऑपरेशंस]]
[[Category:मेटालॉजिक]]
[[Category:सिंटेक्स (तर्क)]]