सत्य-मूल्य तर्क

सत्य-मान, तर्क में, सत्य (टी या 1) या किसी दिए गए प्रस्ताव या कथन का मिथ्यात्व (F या 0)। तार्किक संयोजनों, जैसे कि विस्थापन ("या" के लिए प्रतीक) और निषेध (प्रतीकात्मक thought), को सत्य-कार्यों के रूप में माना जा सकता है, क्योंकि एक यौगिक प्रस्ताव का सत्य-मूल्य एक कार्य है, या मात्रा पर निर्भर है इसके घटक भागों के सत्य-मूल्य।

एक यौगिक कथन के सत्य-मूल्य को एक सत्य तालिका के रूप में ज्ञात चार्ट के माध्यम से आसानी से जांचा जा सकता है। तालिका की प्रत्येक पंक्ति यौगिक के घटक प्रस्तावों के लिए सत्य-मूल्यों के एक संभावित संयोजन का प्रतिनिधित्व करती है, और पंक्तियों की संख्या संभव संयोजनों की संख्या से निर्धारित होती है। उदाहरण के लिए, यदि यौगिक में केवल दो घटक प्रस्ताव होते हैं, तो चार संभावनाएँ होंगी और इस प्रकार तालिका में चार पंक्तियाँ होंगी। आम संयोजकों के तार्किक गुण सत्य सारणी द्वारा प्रदर्शित किए जा सकते हैं:

जिसमें · "और" और · का प्रतीक है "यदि। । । फिर।" ("या" तालिका में, उदाहरण के लिए, दूसरी पंक्ति में लिखा है, "यदि p सत्य है और q असत्य है, तो p” q सत्य है। ") बहुत अधिक जटिलता वाले सत्य सारणी, जिनमें कई सत्य-कार्य हैं।, एक कंप्यूटर के माध्यम से निर्माण किया जा सकता है। तर्क के सार सिस्टम का निर्माण किया गया है जो तीन सत्य-मूल्यों (जैसे, सत्य, असत्य, और अनिश्चित) को नियोजित करता है या यहां तक ​​कि कई, फ़ज़ी लॉजिक में, जिसमें प्रस्तावों में 0 और 1 के बीच मान हैं।