نفی تالی

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

قاعدهٔ نفی تالی به این صورت بیان می‌شود:

اگر بدانیم که $P$ سپس $Q$،

و بدانیم که غیر $Q$،

در نتیجه غیر $P$.

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

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

پوسایدون فانی نیست.

در نتیجه پوسایدون آدم نیست.

به‌صورت صوری: $\models (\mathrm{\neg }B\wedge (A\to B))\to \mathrm{\neg }A$

اثبات

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

$A$	$B$	$B\to A$	$\mathrm{\neg }A\to \mathrm{\neg }B$
د	د	د	د
ن	د	ن	ن
د	ن	د	د
ن	ن	د	د

منابع

الگو:پانویس .S.Epp, S. S. E. (2004). Discrete Mathematics with Applications. Belmont: Bob Pirle