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

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

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


 * धनात्मक शाब्दिक सिर्फ एक परमाण्विक है (जैसे,$$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 है।