Propositional variable
गणितीय तर्क में, एक प्रस्तावक चर (जिसे एक संवेदी चर या संवेदी अक्षर भी कहा जाता है) एक सत्य फलन का एक इनपुट चर (जो या तो सही या गलत हो सकता है) है। प्रस्तावक चर प्रस्तावक सूत्रों के बुनियादी निर्माण-खंड हैं, जिनका उपयोग प्रस्तावक तर्क और उच्च-क्रम तर्क में किया जाता है। तर्क में उपयोग सूत्र आमतौर पर कुछ प्रस्तावक चर, कुछ तार्किक संयोजकों और कुछ तार्किक परिमापकों से पुनरावर्ती रूप से बनाए जाते हैं। प्रस्तावक चर प्रस्तावक तर्क के परमाणु सूत्र हैं, और अक्सर बड़े रोमन अक्षरों जैसे, और का उपयोग करके दर्शाए जाते हैं। उदाहरण किसी दिए गए प्रस्तावक तर्क में, एक सूत्र को निम्नानुसार परिभाषित किया जा सकता हैः प्रत्येक प्रस्तावक चर एक सूत्र है। एक सूत्र X को देखते हुए, नकारात्मकता एक सूत्र है। दो सूत्र X और Y, और एक द्विआधारी संयोजक b (जैसे कि तार्किक संयोजन) को देखते हुए, अभिव्यक्ति (X b Y) एक सूत्र है। (कोष्ठकों पर ध्यान दें।) इस निर्माण के माध्यम से, प्रस्तावक तर्क के सभी सूत्रों को एक मूल इकाई के रूप में प्रस्तावक चर से बनाया जा सकता है। प्रस्तावक चर को मेटावैरियेबल्स के साथ भ्रमित नहीं किया जाना चाहिए, जो प्रस्तावक कलन के विशिष्ट स्वयंसिद्धों में दिखाई देते हैं; बाद वाले प्रभावी रूप से अच्छी तरह से गठित सूत्रों पर आधारित होते हैं, और अक्सर छोटे अक्षरों जैसे, और का उपयोग करके दर्शाए जाते हैं। प्रेडिकेट लॉजिक प्रोपोज़िशनल वेरिएबल्स जिनमें कोई ऑब्जेक्ट वेरिएबल्स जैसे x और y नहीं हैं, वे Px और xRy जैसे प्रेडिकेट अक्षरों से जुड़े होते हैं, इसके बजाय अलग-अलग स्थिरांक a, b,. प्रेडिकेट अक्षरों से जुड़े होते हैं, वे प्रोपोज़िशनल स्थिरांक पा, aRb होते हैं। ये प्रस्तावक स्थिरांक परमाणु प्रस्ताव हैं, जिनमें प्रस्तावक प्रचालक नहीं हैं। प्रस्तावक चर की आंतरिक संरचना में पी और क्यू जैसे विधेय अक्षर होते हैं, जो बाध्य व्यक्तिगत चर (जैसे, x, y), व्यक्तिगत स्थिरांक जैसे कि ए और बी (प्रवचन डी के क्षेत्र से एकवचन शब्द) के साथ मिलकर होते हैं, जो अंततः पा, एआरबी जैसे रूप लेते हैं। (या कोष्ठक के साथ, और)। परमाणु वाक्यों की आंतरिक संरचना का विश्लेषण करने वाले प्रथम-क्रम तर्क के विपरीत आंतरिक संरचना पर विचार नहीं करने के कारण प्रस्ताव तर्क को कभी-कभी शून्य-क्रम तर्क कहा जाता है। बूलियन बीजगणित (तर्क) बूलियन डेटा प्रकार बूलियन डोमेन बूलियन फलन तार्किक मूल्य अनुमानित परिवर्तनीय प्रस्ताव तर्क संदर्भ ग्रंथ सूची स्मुलियन, रेमंड एम. प्रथम-आदेश तर्क भी देखें। 1968 में। डोवर संस्करण, 1995। अध्याय 1: प्रस्तावात्मक तर्क के सूत्र। तर्क तर्क प्रतीकों में प्रस्तावात्मक कलन अवधारणाएँ