Negative conclusion from affirmative premises
உறுதியான வளாகத்திலிருந்து எதிர்மறையான முடிவு என்பது ஒரு வகைப்படுத்தப்பட்ட சொற்றொடர் எதிர்மறையான முடிவைக் கொண்டிருக்கும்போது செய்யப்படும் ஒரு சொற்றொடர் தவறானது, ஆனால் இரண்டு வளாகங்களும் உறுதியானவை. ஒரு எதிர்மறையான முடிவை அடைய உறுதியான வளாகத்தின் இயலாமை பொதுவாக ஒரு செல்லுபடியாகும் வகைப்பாட்டு சொற்றொடரை உருவாக்குவதற்கான அடிப்படை விதிகளில் ஒன்றாக மேற்கோள் காட்டப்படுகிறது. சொற்றொடர்களில் உள்ள அறிக்கைகளை பின்வரும் வடிவங்களாக அடையாளம் காணலாம்ஃ a: அனைத்து A என்பது B. (உறுதியான) e: இல்லை A என்பது B. (எதிர்மறை) i: சில A என்பது B. (உறுதியான) ஓஃ சில ஏ என்பது பி அல்ல. (எதிர்மறை) இரண்டு வளாகங்களும் a அல்லது i (உறுதியான) வடிவத்தில் இருக்கும் ஒரு சொற்றொடர் e அல்லது o (எதிர்மறை) வடிவத்தின் முடிவை அடைய முடியாது என்று விதி கூறுகிறது. எதிர்மறையான முடிவுடன் செல்லுபடியாகும் சொற்றொடரை உருவாக்க சரியான வளாகங்களில் ஒன்று எதிர்மறையாக இருக்க வேண்டும். (இரண்டு எதிர்மறை வளாகங்களைக் கொண்ட ஒரு சொற்றொடர் பிரத்யேக வளாகத்தின் தொடர்புடைய தவறைச் செய்கிறது.) எடுத்துக்காட்டு (செல்லாத AAE படிவம்): வளாகம்ஃ அனைத்து கர்னல்களும் அதிகாரிகள். முன்மாதிரிஃ அனைத்து அதிகாரிகளும் சிப்பாய்கள். முடிவுஃ எனவே, கர்னல்கள் யாரும் சிப்பாய்கள் அல்ல. ஆவோ-4 வடிவம் ஒருவேளை மிகவும் நுட்பமானது, ஏனெனில் இது சரியான சொற்றொடர்களை நிர்வகிக்கும் பல விதிகளைப் பின்பற்றுகிறது, இது உறுதியான வளாகங்களிலிருந்து எதிர்மறையான முடிவை அடைவதைத் தவிர. செல்லுபடியாகாத ஆவோ-4 வடிவம்ஃ அனைத்து ஏ என்பது பி. அனைத்து B யும் C ஆகும், எனவே சில C யும் A அல்ல. A என்பது B இன் சரியான துணைக்குழுவாகவும்/அல்லது B என்பது C இன் சரியான துணைக்குழுவாகவும் இருந்தால் மட்டுமே இது செல்லுபடியாகும். இருப்பினும், A, B மற்றும் C சமமாக இருந்தால் இந்த வாதம் தவறான முடிவை அடைகிறது. A = B = C என்றால், பின்வரும் எளிய ஆ-1 சொற்றொடரின் முடிவு மேலே உள்ள ஆவோ-4 வாதத்திற்கு முரணாக இருக்கும்ஃ அனைத்து B என்பது A. அனைத்து சி என்பது பி. எனவே, அனைத்து C யும் A ஆகும். எதிர்மறையான அடிப்படையிலிருந்து உறுதியான முடிவையும் பார்க்கவும், இதில் ஒரு சொற்றொடர் செல்லுபடியாகாது, ஏனெனில் ஒரு எதிர்மறையான அடிப்படையிலிருந்து ஒரு உறுதியான முடிவு எட்டப்படுகிறது பிரத்யேக வளாகத்தின் தவறான தன்மை, இதில் ஒரு சொற்றொடர் செல்லாது, ஏனெனில் இரண்டு வளாகங்களும் எதிர்மறையான குறிப்புகள் வெளிப்புற இணைப்புகள் சொற்றொடர் தவறானவை.