प्रोपोज़िशनल तर्क

शब्द "प्रोपोज़िशनल तर्क" को परिभाषित करने के लिए, यह एक "बयान" है जो स्पष्ट रूप से समझने के लिए आवश्यक है।

तो, बयान एक वाक्य, रैंक व्याकरण की दृष्टि से सही है, और झूठी या सच है। यह धारणा एक निश्चित अर्थ को व्यक्त करना चाहिए। "कनारी" और "पक्षी": उदाहरण के लिए, वाक्यांश निम्नलिखित घटक शामिल "कनारी चिड़िया एक है।"

यही वजह है कि एक द कुंजी प्रारंभिक अवधारणाओं के तर्क और कर रहे हैं कहावत। इन अवधारणाओं को एक विशिष्ट स्थिति है जिसमें बयान या तो कुछ या इनकार है विवरण देना चाहिए।

यह अगर स्थिति की पता लगाया लाइन वास्तविकता यह जब घेरने वाले है, एक सच्चे बयान माना जाता है। खुद को रखकर "गलत" और "सही" बयान की सच्चाई का पता लगाने के।

प्रोपोज़िशनल तर्क सरल और जटिल भाव के होते हैं। तो, सिर्फ बयान है कि इसकी संरचना अन्य भाव में शामिल नहीं है लगता है। और जटिल करने के लिए भाव है कि एक साधारण, तार्किक रूप से जुड़े बयानों से ली गई हैं।

शास्त्रीय प्रोपोज़िशनल तर्क कटौती के सामान्य सिद्धांत द्वारा दर्शाया जा सकता। यह तर्क है, जो सरल भाव के तार्किक कनेक्शन के बयानों पर निर्भर नहीं का वर्णन का वह हिस्सा है।

एक मुश्किल प्रस्ताव दो सरल शब्द "और" का उपयोग कर भाव संयोजन के द्वारा प्राप्त की - नहीं संयोजक उल्लेख करने के लिए। संयोजन के रूप की सच्चाई की पुष्टि है कि सभी बयान इसकी संरचना में शामिल थे। मामले में जहां अपने सदस्यों एक झूठी कम से कम एक, पूरे संयोजन के रूप का एक संकेत है "एक झूठ।"

अपने आप में एक संयोजन के रूप जटिल बयान है, जो इन मान्यताओं पर आधारित हैं बनाने के लिए है:

- किसी भी अभिव्यक्ति (और सरल और जटिल) सही या गलत हो सकता है,

- जटिल उच्चारणों की सच्चाई यह में निहित बयान और उस में तार्किक लिंक की सच्चाई पर निर्भर करता है।

जब शब्द का उपयोग करते हुए दो बयानों को जोड़ने "या" पहले से ही अलगाव प्राप्त की है। रोजमर्रा की जिंदगी में, इस अवधारणा को दो अलग अलग अर्थ के नजरिए से देखी जा सकती है। सबसे पहले, यह गैर अनन्य भावना है, जो अभिव्यक्ति की सच्चाई, दो में से एक की सच्ची अभिव्यक्ति की परवाह किए बिना मतलब है या वे दो में से जो हो रहा है। दूसरा, भावना को नष्ट करने का दावा है कि भाव में से एक सही है, और अन्य - गलत है।

प्रोपोज़िशनल सूत्रों विशेष वर्ण। इस प्रकार, अलगाव प्रतीक में वी इंगित करता है कि अभिव्यक्ति सच है अगर बयानों में से कम से कम एक, और यदि उसके दोनों झूठे लिंग झूठी की सच्चाई।

निहितार्थ का निर्धारण करने में दावा है कि आधार बयान गलत जांच में सही नहीं किया जा सकता है। दूसरे शब्दों में, इस अवधारणा निर्भरता सच्चाई या उसके घटकों और उनके संबंधों के तरीकों में से मूल्य की अभिव्यक्ति की असत्यता निकलता है।

तथ्य यह है कि निहितार्थ कुछ प्रयोजनों के लिए काफी उपयोगी है के बावजूद, यह सामान्य रूप में संचार की पारंपरिक समझ के साथ बहुत संगत नहीं है। तो, जब यह डिवाइस अवधारणा दी बयान के तार्किक व्यवहार की महत्वपूर्ण सुविधाओं में से कई यह की एक पर्याप्त विवरण नहीं हो सकता है चारों ओर से घेरे।

प्रोपोज़िशनल तर्क सही और गलत सर्किट तर्क और व्यवस्थापन पहले की जुदाई के रूप में इस तरह के एक केंद्रीय कार्य को सुलझाने, के उद्देश्य से। करने के लिए मिल सही परिणाम, आप जरूरत के लिए ध्यान केंद्रित द विशेष वर्ण हैं जो कर सकते हैं प्रतिनिधित्व करते हैं एक या एक और रूप। इसलिए इस तरह के रूप में "या" इस तरह प्रतीत होता है तुच्छ शब्दों में अधिक रुचि दिखाई, "और," आदि

तर्क बयान भी, अपनी ही भाषा है निम्नलिखित तत्वों से मिलकर:

- मूल पात्रों - चर, तार्किक स्थिरांक, और तकनीकी प्रतीकों;

- सूत्रों।

क्या कहा गया है की एक बेहतर समझ के लिए आप विशिष्ट उदाहरण के पास जाना चाहिए। \ / या \ º / - उदाहरण के लिए, संयोजन के रूप प्रतीक और, अलगाव का उपयोग करें।