"प्रस्ताववादी तर्क" शब्द निर्धारित करने के लिए, यह स्पष्ट रूप से समझना आवश्यक है कि "कथन" क्या है।
तो, बयान एक हैवाक्य व्याकरणिक रूप से सही है, और झूठी या सच है। इस अवधारणा को एक निश्चित अर्थ व्यक्त करना चाहिए। उदाहरण के लिए, अभिव्यक्ति "कैनरी एक पक्षी है" में ऐसे घटक शामिल हैं: "कैनरी" और "पक्षी"।
यही कारण है कि तर्क की मूल, मूल अवधारणाओं में से एक बयान है। इन अवधारणाओं को एक विशिष्ट स्थिति का वर्णन करना चाहिए जिसमें या तो कुछ या अस्वीकृति का बयान होगा।
अगर विवरण का वर्णन करते समय स्थिति की वास्तविकता का वर्णन किया गया है तो कथन सत्य माना जाता है। अपने आप से, "झूठ" और "सत्य" बयानों की सच्चाई निर्धारित करते हैं।
Логика высказываний складывается из простых и जटिल अभिव्यक्तियां तो, एक साधारण कथन जिसमें इसकी रचना में अन्य अभिव्यक्ति शामिल नहीं है, को सरल माना जाता है। और जटिल जटिल हैं, जो सरल, तार्किक रूप से संबंधित बयान से प्राप्त होते हैं।
उच्चारण का शास्त्रीय तर्क हो सकता हैकटौती के सामान्य सिद्धांत द्वारा प्रतिनिधित्व किया जाता है। यह तर्क का एक हिस्सा है जिसमें सरल अभिव्यक्तियों के तार्किक कनेक्शन जो शब्दों की संरचना से स्वतंत्र हैं, का वर्णन किया गया है।
संयोजन का उल्लेख नहीं करना असंभव है - जटिलकथन, शब्द "और" के साथ दो सरल अभिव्यक्तियों को जोड़कर प्राप्त किया गया। संयोजन की सच्चाई इसकी संरचना में शामिल सभी बयानों की विश्वसनीयता से पुष्टि की जाती है। इस मामले में जब कम से कम एक सदस्य झूठा है, तो पूरे संयोजन में "झूठ" चिह्न होता है।
संयोजन स्वयं उन जटिल बयानों को बनाने में काम करता है जो ऐसी धारणाओं पर आधारित होते हैं:
- कोई भी अभिव्यक्ति (सरल और जटिल दोनों) या तो सच या गलत हो सकती है;
- एक जटिल कथन की सच्चाई सीधे इसके बयानों और तार्किक कनेक्शन की सच्चाई पर निर्भर करती है।
उपयोग करते हुए दो वाक्यों को जोड़ते समयशब्द "या" पहले से ही एक संयोजन है। रोजमर्रा की जिंदगी में, इस अवधारणा को दो अलग-अलग अर्थों के दृष्टिकोण से देखा जा सकता है। सबसे पहले, यह एक गैर-अनन्य अर्थ है, जो अभिव्यक्ति की सच्चाई का तात्पर्य है, इस पर ध्यान दिए बिना कि दो अभिव्यक्तियों में से एक सत्य है या दोनों। दूसरा, अनन्य अर्थ बताता है कि अभिव्यक्तियों में से एक सत्य है, और दूसरा झूठा है।
प्रस्तावपरक तर्क के सूत्रों में विशेष शामिल हैअक्षर। इस प्रकार, संयोजन में, प्रतीक वी दर्शाता है कि अभिव्यक्ति सच है यदि कम से कम एक कथन सत्य है, और यह गलत है अगर दोनों शब्द झूठे हैं।
निहितार्थ का निर्धारण करते समय, वहां हैयह दावा कि एक बयान का आधार झूठे नतीजे से सच नहीं हो सकता है। दूसरे शब्दों में, यह अवधारणा सत्य के निर्भरता या अभिव्यक्ति की झूठीता को इसके घटकों के अर्थ और उनके कनेक्शन के तरीकों पर निर्भर करती है।
इस तथ्य के बावजूद कि निहितार्थ काफी उपयोगी हैकुछ उद्देश्यों के लिए, यह सामान्य शर्तों में सशर्त रिश्ते की समझ के साथ बहुत संगत नहीं है। इस प्रकार, एक उच्चारण के तार्किक व्यवहार की कई महत्वपूर्ण विशेषताओं को शामिल करने में, यह अवधारणा इसके पर्याप्त विवरण नहीं हो सकती है।
बयानों का तर्क इस तरह की समस्या को हल करने के उद्देश्य से है।केंद्रीय कार्य, पूर्व के तर्क और व्यवस्थित करने की सही और गलत योजनाओं को अलग करना। सही परिणाम प्राप्त करने के लिए, आपको विशेष प्रतीकों पर अपना ध्यान केंद्रित करने की आवश्यकता है जो एक रूप या किसी अन्य का प्रतिनिधित्व कर सकते हैं। इसलिए "या", "और", आदि जैसे शब्दों में रुचि, जो पहली नजर में महत्वहीन हैं, संकेत दिया जाता है।
बयानों के तर्क में भी अपनी भाषा है, जिसमें निम्नलिखित तत्व शामिल हैं:
- प्रारंभिक प्रतीकों - चर, तार्किक स्थिरांक और तकनीकी संकेत;
सूत्र
क्या कहा गया है, इसकी बेहतर समझ के लिए, ठोस उदाहरणों पर जाना आवश्यक है। उदाहरण के लिए, संयोजन संयोजन और / प्रतीक, संयोजन का उपयोग करता है - / या º /।
