ضدپیامد مادی

نمودار ون برای $P\nrightarrow Q$

ضدپیامد مادی الگو:به انگلیسی یا اختلال الگو:به انگلیسی نقیض پیامد مادی می‌باشد. یعنی برای هر دو گزاره $P$ و $Q$، ضدپیامد مادی از $P$ به $Q$ درست است اگر و تنها اگر نقیض پیامد مادی از $P$ به $Q$ درست باشد. این موضوع به صورت طبیعی تر به این صورت بیان می شود که: ضدپیامد مادی از $P$ به $Q$ درست است، اگر $P$ درست باشد و $Q$ نادرست باشد.

این موضوع می‌تواند با استفاده از نمادهای منطقی به صورت $P\nrightarrow Q$، $P\supset ̸Q$ یا «Lpq» (در نماد بوخنسکی) نوشته شود، و به صورت منطقی با $\mathrm{\neg }(P\to Q)$ و $P\wedge \mathrm{\neg }Q$ معادل است.

تعریف

جدول درستی

$P$	$Q$	$P\nrightarrow Q$
T	T	F
T	F	T
F	T	F
F	F	F

هم‌ارزهای منطقی

ضدپیامد مادی می‌تواند به صورت نقیص پیامد مادی تعریف شود.

$P\nrightarrow Q$	$\iff$	$\mathrm{\neg }(P\to Q)$
	$\iff$	$\mathrm{\neg }$

در منطق کلاسیک، هم‌ارز نقیض فصل منطقی $\mathrm{\neg }P$ و $Q$ است و بنابراین عطف منطقی $P$ و $\mathrm{\neg }Q$ می باشد.

$P\nrightarrow Q$	$\iff$	$\mathrm{\neg }($	$\mathrm{\neg }P$	$\vee$	$Q)$	$\iff$	$P$	$\wedge$	$\mathrm{\neg }Q$
	$\iff$	$\mathrm{\neg }($		$\vee$	$)$	$\iff$		$\wedge$

ویژگی‌ها

نگهداری-دروغ: تفسیری که تحت آن به همه متغیرها یک ارزش منطقی «نادرست» داده شده است، تولید کننده یک ارزش منطقی «نادرست» به عنوان نتیجه ضدپیامد مادی است.

نماد

نماد ضدپیامد مادی به صورت ساده یک نماد پیامد مادی قلمزده (حذف از طریق قطع) است. نماد یونی‌کد آن 219B₁₆ است (معادل 8603 ده دهی).

در زبان طبیعی

گرامری

«p منهای q.»

«p بدون q.»

بلاغت

«p اما نه q.»

علوم رایانه

عملیات بیتی: $A\mathrm{\&}(\sim B)$

عملیات منطقی: $A\mathrm{\&}\mathrm{\&}(!B)$

منابع

الگو:Navbox