टॉटोलॉजी एक शब्द है जो एक ग्रीक शब्द से आता है और विभिन्न भावों के माध्यम से एक ही विचार की पुनरावृत्ति को संदर्भित करता है। एक बयानबाजी, बयानबाजी के लिए, एक निरर्थक बयान है ।
भाषा में एक त्रुटि या शैली की कमी के रूप में टॉटोलॉजी को माना जाना आम है। हालांकि, एक निश्चित विचार पर जोर देने के लिए टॉटोलॉजी के लिए अपील करना संभव है। उदाहरण के लिए: वाक्य "मैं पुष्टि कर सकता हूं कि अभियुक्त दोषी है क्योंकि मैंने हत्या को अपनी आँखों से देखा था" उसकी आँखों के उपयोग के बारे में एक अनावश्यक स्पष्टीकरण प्रस्तुत करता है, क्योंकि वह किसी अन्य माध्यम से नहीं देख सकता था; उसी तरह, "उचित" शब्द का जोर बिल्कुल छोड़ा जा सकता है।
टॉटोलॉजी के अन्य बहुत सामान्य उदाहरण निम्नलिखित वाक्यों में देखे जा सकते हैं: "मैं एक पुस्तक खोजने के लिए ऊपर जाऊंगा और वापस आऊंगा", "मुझे पौधों को पानी देने के लिए बाहर जाना होगा" । जब भी तुम चढ़ते हो यह ऊपर है; उसी तरह, एक जगह से बाहर निकलने का मतलब है, जिस कारण से ये स्पष्टीकरण समझने के लिए अर्थहीन और अनावश्यक हैं।
जब टॉटोलॉजी एक निरर्थक व्याख्या को दबाती है जो एक नए ज्ञान का योगदान नहीं देती है, तो यह आमतौर पर पेरोग्रुलो के ट्रूज्म या सच्चाई से बात की जाती है : "मैं वही हूं जो मैं हूं" । अभिव्यक्ति जिसमें निरर्थक शब्द दिखाई देते हैं (जैसे "ऊपर जाना" या "बाहर जाना" ), दूसरी ओर, फुफ्फुस कहा जाता है।
तर्क के क्षेत्र में, एक तंत्रशास्त्र एक प्रणाली का एक सूत्र है जो किसी भी व्याख्या के लिए सच है। दूसरे शब्दों में, यह एक तार्किक अभिव्यक्ति है जो इसके परमाणु घटकों के सभी संभावित सत्य मूल्यों के लिए सच है। यह जानने के लिए कि क्या किसी दिए गए सूत्र में एक शब्दविज्ञान है, एक सत्य तालिका का निर्माण किया जाना चाहिए।
सत्य की मेज
सत्य तालिका (जिसे सत्य मूल्यों की तालिका के रूप में भी जाना जाता है) एक समग्र प्रस्ताव प्रस्तुत करती है और प्रत्येक संभावित संयोजन के लिए इसका सत्य मूल्य जो इसके तत्वों के साथ दिया जा सकता है। इसके लेखक अमेरिकी दार्शनिक और वैज्ञानिक चार्ल्स सैंडर्स पीयरस थे, जिन्हें आधुनिक सेमीकोटिक्स के सर्वोच्च प्रतिनिधि के रूप में भी जाना जाता है, और इसे 1880 के मध्य में प्रकाशित किया।
एक औपचारिक प्रणाली को कॉन्फ़िगर करने के लिए, प्रत्येक ऑपरेटर की परिभाषाओं को स्थापित करना आवश्यक है और तर्क को तार्किक-भाषाई कटौतीत्मक तर्क के रूप में प्रस्तुत किया जाना चाहिए, विशुद्ध रूप से गणितीय डिजाइन का जवाब देना और एक तार्किक अनुप्रयोग का गठन करना चाहिए जो आपके इनपुट और आउटपुट चर को परिभाषित करता है।
एक सत्य तालिका को फेंकने वाले दो संभावित मान इस प्रकार हैं: सत्य, जो अक्षर "V" या "1" नंबर के साथ व्यक्त किया गया है और इंगित करता है कि सर्किट बंद है; जब एक सर्किट खुला हो तो "F" या "0" अक्षर द्वारा दर्शाए गए झूठे । विश्लेषण किए जाने वाले प्रस्ताव चर हैं, और वे तालिका के ऊपरी हिस्से में स्थित हैं, जो उस जगह पर कब्जा कर रहे हैं जो आमतौर पर फ़ील्ड नामों के लिए उपयोग किया जाता है।
एक सत्य तालिका में उपयोग किए गए ऑपरेटर हैं:
* निषेध : जब एक निश्चित सत्य मूल्य पर निष्पादित किया जाता है, तो विपरीत को फेंकता है (यदि यह मूल रूप से सच था, गलत रिटर्न करता है, और इसके विपरीत);
* संयुग्मन : इसका उपयोग सत्य के दो मूल्यों के साथ किया जाता है, आमतौर पर दो अलग-अलग प्रस्तावों के साथ, और जब दोनों सही होते हैं, और बाकी मामलों के लिए झूठे होते हैं;
* विघटन : संयोजन के समान, लेकिन यह दो प्रस्तावों में से एक के लिए पर्याप्त है ताकि इस तरह के परिणाम को वापस करने के लिए सही मूल्य हो;
* सशर्त : निहितार्थ नाम से भी जाना जाता है, यह दो प्रस्ताव लेता है और केवल झूठे फेंकता है जब पहला वापस आता है और दूसरा गलत। शेष मामलों के लिए, परिणाम सच है;
* द्विसंयोजक : दो प्रस्तावों के सत्य मूल्यों पर काम करता है और अगर दोनों विपरीत मूल्य में समान और झूठे हैं, तो सच हो जाता है।