نفی تالی

در منطق کلاسیک، قاعدهٔ نفی تالی  (که معمولاً Modus tollens خوانده می‌شود)، یکی از اَشکال استدلال صوری است.

قاعدهٔ نفی تالی به این صورت بیان می‌شود:
اگر بدانیم که  سپس ،
و بدانیم که غیر ،
در نتیجه غیر .

به عنوان مثال:

اگر پوسایدون آدم باشد، پس پوسایدون فانی است.
پوسایدون فانی نیست.
در نتیجه پوسایدون آدم نیست.

به‌صورت صوری:

اثبات 
درستیِ نفی تالی را می‌توان به وسیلهٔ وضع مقدم و دانستن این که گزارۀ شرطی با عکس نقیض خود هم‌ارز است، تشخیص داد. همچنین می‌توان به صورت آشکار از جدول ارزش‌ها به درستی قاعدۀ نفی تالی پی برد. "د" به معنی «درست» و "ن" به معنی «نادرست» است.

منابع 

.S.Epp, S. S. E. (2004). Discrete Mathematics with Applications. Belmont: Bob Pirle

عبارت‌های منطقی لاتین
قضیه‌ها در حساب گزاره‌ای
قواعد استنتاج
منطق کلاسیک