शाब्दिक (गणितीय तर्क)

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

शाब्दिकों को दो प्रकारों में विभाजित किया जा सकता है:

• धनात्मक शाब्दिक सिर्फ एक परमाणु है (जैसे,$x$)।
• ऋणत्मक शाब्दिक एक परमाणु का निषेध है (जैसे, $\lnot x$)।

एक शाब्दिक की ध्रुवता धनात्मक या ऋणात्मक है जो इस बात पर निर्भर करती है कि यह एक धनात्मक या ऋणात्मक शाब्दिक है।

दोहरे निषेध उन्मूलन वाले तर्कशास्त्र में (जहाँ $\lnot \lnot x\equiv x$) शाब्दिक $l$ के पूरक शाब्दिक या पूरक को $l$ के निषेध के अनुरूप शाब्दिक के रूप में परिभाषित किया जा सकता है। हम $l$ के पूरक शाब्दिक को निरूपित करने के लिए ${\bar {l}}$ लिख सकते हैं। अधिक सटीक रूप से, यदि $l\equiv x$ है तो ${\bar {l}}$ है $\lnot x$ और यदि $l\equiv \lnot x$  तो ${\bar {l}}$ $x$ है। चिरसम्मत तर्कशास्त्र में दोहरा निषेध उन्मूलन है लेकिन अंतर्ज्ञानवादी तर्क में नहीं होता है।

संयोजक सामान्य रूप में एक सूत्र के संदर्भ में, एक शाब्दिक शुद्ध होता है यदि शाब्दिक पूरक सूत्र में प्रकट नहीं होता है।

बूलियन फ़ंक्शन में, किसी चर की प्रत्येक अलग घटना, या तो व्युत्क्रम या अपूरित रूप में, एक शाब्दिक होती है। उदाहरण के लिए, यदि $A$, $B$ और $C$ अभिव्यक्ति की तुलना में चर हैं ${\bar {A}}BC$ इसमें तीन अक्षर और अभिव्यक्ति शामिल है ${\bar {A}}C+{\bar {B}}{\bar {C}}$ इसमें चार अक्षर शामिल हैं। हालाँकि, अभिव्यक्ति ${\bar {A}}C+{\bar {B}}C$ यह भी कहा जाएगा कि इसमें चार अक्षर हैं, क्योंकि यद्यपि दो अक्षर समान हैं ($C$ दो बार प्रकट होता है) ये दो अलग-अलग घटनाओं के रूप में योग्य हैं।

उदाहरण

प्रस्तावात्मक कलन में एक शाब्दिक केवल एक प्रस्तावात्मक चर या उसका निषेध है।

विधेय कलन में शाब्दिक एक परमाणु सूत्र या उसका निषेध है, जहां एक परमाणु सूत्र एक विधेय (गणितीय तर्क) प्रतीक है जो कुछ शब्द (तर्क) पर लागू होता है, $P(t_{1},\ldots ,t_{n})$ स्थिर प्रतीकों, परिवर्तनीय प्रतीकों और फ़ंक्शन (गणित) प्रतीकों से शुरू होने वाली पुनरावर्ती परिभाषा के साथ। उदाहरण के लिए, $\neg Q(f(g(x),y,2),x)$ स्थिर प्रतीक 2, चर प्रतीक x, y, फ़ंक्शन प्रतीक f, g और विधेय प्रतीक Q के साथ एक नकारात्मक शाब्दिक है।

संदर्भ

• Buss, Samuel R. (1998). Buss, Samuel R. (ed.). An Introduction to Proof Theory. pp. 1–78. ISBN 0-444-89840-9. {{cite book}}: |work= ignored (help)