உண்மை மதிப்பு தர்க்கம்

கொடுக்கப்பட்ட முன்மொழிவு அல்லது அறிக்கையின் தர்க்கம், உண்மை (டி அல்லது 1) அல்லது பொய்மை (எஃப் அல்லது 0) இல் உண்மை-மதிப்பு. தர்க்கரீதியான இணைப்புகள், துண்டிக்கப்படுதல் (குறியிடப்பட்ட ∨, “அல்லது” க்கு) மற்றும் நிராகரிப்பு (குறியிடப்பட்ட ∼) போன்றவை உண்மை-செயல்பாடுகளாக கருதப்படலாம், ஏனெனில் ஒரு கூட்டு முன்மொழிவின் உண்மை-மதிப்பு ஒரு செயல்பாடு, அல்லது ஒரு அளவு சார்ந்தது, அதன் கூறு பகுதிகளின் உண்மை-மதிப்புகள்.

ஒரு கூட்டு அறிக்கையின் உண்மை-மதிப்பை ஒரு உண்மை அட்டவணை எனப்படும் விளக்கப்படத்தின் மூலம் உடனடியாக சோதிக்க முடியும். அட்டவணையின் ஒவ்வொரு வரிசையும் சேர்மத்தின் கூறு முன்மொழிவுகளுக்கான உண்மை-மதிப்புகளின் சாத்தியமான கலவையைக் குறிக்கிறது, மேலும் வரிசைகளின் எண்ணிக்கை சாத்தியமான சேர்க்கைகளின் எண்ணிக்கையால் தீர்மானிக்கப்படுகிறது. எடுத்துக்காட்டாக, கலவை இரண்டு கூறு முன்மொழிவுகளைக் கொண்டிருந்தால், நான்கு சாத்தியக்கூறுகள் இருக்கும், இதனால் அட்டவணைக்கு நான்கு வரிசைகள் இருக்கும். பொதுவான இணைப்புகளின் தருக்க பண்புகள் உண்மை அட்டவணைகள் பின்வருமாறு காட்டப்படலாம்:

இதில் · மற்றும் “குறிக்கிறது” மற்றும் if என்றால் “குறிக்கிறது… பிறகு." (எடுத்துக்காட்டாக, “அல்லது” அட்டவணையில், இரண்டாவது வரி, “p என்பது உண்மை மற்றும் q தவறானது என்றால், p ∨ q உண்மைதான்.”) மிகப் பெரிய சிக்கலான உண்மை அட்டவணைகள், பல உண்மை-செயல்பாடுகளைக் கொண்டவை, கணினி மூலம் உருவாக்க முடியும். தர்க்கத்தின் சுருக்க அமைப்புகள் மூன்று உண்மை-மதிப்புகளை (எ.கா., உண்மை, பொய், மற்றும் நிச்சயமற்றவை) பயன்படுத்துகின்றன அல்லது தெளிவற்ற தர்க்கத்தைப் போலவே பலவற்றையும் பயன்படுத்துகின்றன, இதில் முன்மொழிவுகள் 0 மற்றும் 1 க்கு இடையில் மதிப்புகளைக் கொண்டுள்ளன.