Tautological consequence
முன்மொழிவு தர்க்கத்தில், டாட்டோலாஜிக்கல் விளைவு என்பது தர்க்கரீதியான விளைவின் கடுமையான வடிவமாகும், இதில் ஒரு முன்மொழிவுக்கான டாட்டோலோகஸ்னஸ் ஒரு ஆதாரத்தின் ஒரு வரியிலிருந்து அடுத்த வரிக்கு பாதுகாக்கப்படுகிறது. அனைத்து தர்க்கரீதியான விளைவுகளும் டாட்டாலஜிக்கல் விளைவுகள் அல்ல. ஒரு முன்மொழிவு என்பது சில தர்க்கரீதியான அமைப்பைப் பொறுத்தவரை ஒரு ஆதாரத்தில் ஒன்று அல்லது அதற்கு மேற்பட்ட பிற முன்மொழிவுகளின் (,,.,) ஒரு தன்னியக்க விளைவு என்று கூறப்படுகிறது, அமைப்பின் விதிகளுக்குள் ஆதாரத்தின் ஒரு வரியில் முன்மொழிவை ஒருவர் செல்லுபடியாகும் வகையில் அறிமுகப்படுத்த முடிந்தால்; மற்றும் அனைத்து சந்தர்ப்பங்களிலும் (,,.,) ஒவ்வொன்றும் உண்மையாக இருக்கும்போது, முன்மொழிவும் உண்மை. டாட்டோலோகோஸ்னஸின் இந்த பாதுகாப்பை வெளிப்படுத்த மற்றொரு வழி உண்மை அட்டவணைகளைப் பயன்படுத்துவதாகும். ஒரு கூட்டு உண்மை அட்டவணையின் ஒவ்வொரு வரிசையிலும் அனைத்து முன்மொழிவுகளுக்கும் (,,,) "டி" ஐ ஒதுக்கும் உண்மை அட்டவணையும் "டி" ஐ ஒதுக்கினால் மட்டுமே ஒரு முன்மொழிவு ஒன்று அல்லது அதற்கு மேற்பட்ட பிற முன்மொழிவுகளின் (,,,) ஒரு தன்னியக்க விளைவு என்று கூறப்படுகிறது. எடுத்துக்காட்டு = "சாக்ரடீஸ் ஒரு மனிதர்". = "எல்லா மனிதர்களும் மரணமானவர்கள்". = "சாக்ரடீஸ் மரணமடைந்தவர்". இந்த வாதத்தின் முடிவு வளாகத்தின் தர்க்கரீதியான விளைவாகும், ஏனெனில் முடிவு பொய்யான நிலையில் அனைத்து வளாகங்களும் உண்மையாக இருப்பது சாத்தியமற்றது. உண்மை அட்டவணையை மறுபரிசீலனை செய்தால், வாதத்தின் முடிவு முன்மாதிரியின் தற்செயலான விளைவு அல்ல என்று மாறிவிடும். வளாகத்திற்கு T ஐ ஒதுக்கும் ஒவ்வொரு வரிசையும் முடிவுக்கு T ஐ ஒதுக்குவதில்லை. குறிப்பாக, இது இரண்டாவது வரிசையாகும், இது T ஐ awb க்கு ஒதுக்குகிறது, ஆனால் T ஐ c க்கு ஒதுக்காது. குறிப்பு மற்றும் பண்புகள் டாட்டோலாஜிக்கல் விளைவையும் ¥ என்று வரையறுக்கலாம். ஒரு முன்மொழிவு p ஒரு முரண்பாடாக இருந்தால், p டாட்டோலாஜிக்கலாக ஒவ்வொரு முன்மொழிவையும் குறிக்கிறது, ஏனென்றால் p ஐ உண்மையாக மாற்றும் உண்மை மதிப்பீடு எதுவும் இல்லை, எனவே டாட்டோலாஜிக்கல் உட்குறிப்பின் வரையறை அற்பமாக திருப்தி அளிக்கிறது. இதேபோல், p என்பது ஒரு டாட்டாலஜி என்றால், p என்பது ஒவ்வொரு முன்மொழிவிலும் டாட்டாலஜிக்கலாக குறிக்கப்படுகிறது. தர்க்கரீதியான விளைவு டாட்டாலஜி (லாஜிக்) உண்மை அட்டவணை குறிப்புகள் குறிப்புகள் பார்வைஸ், ஜான் மற்றும் ஜான் எட்செமெண்டி ஆகியவற்றையும் பார்க்கவும். மொழி, சான்று மற்றும் தர்க்கம். ஸ்டான்போர்ட்ஃ சி. எஸ். எல். ஐ (மொழி மற்றும் தகவல் ஆய்வு மையம்) வெளியீடுகள், 1999. அச்சிடுங்கள். க்ளீன், எஸ். சி. (1967) கணித தர்க்கம், மறுபதிப்பு 2002, டோவர் பப்ளிகேஷன்ஸ்,. தர்க்கரீதியான விளைவு