ضدپیامد مادی

از ویکی‌پدیا، دانشنامهٔ آزاد
(تغییرمسیر از نقیض شرطی)
نمودار ون برای

ضدپیامد مادی (به انگلیسی: Material nonimplication) یا اختلال (به انگلیسی: abjunction) نقیض پیامد مادی می‌باشد. یعنی برای هر دو گزاره و ، ضدپیامد مادی از به درست است اگر و تنها اگر نقیض پیامد مادی از به درست باشد. این موضوع به صورت طبیعی تر به این صورت بیان می شود که: ضدپیامد مادی از به درست است، اگر درست باشد و نادرست باشد.[۱]

این موضوع می‌تواند با استفاده از نمادهای منطقی به صورت ، یا «Lpq» (در نماد بوخنسکی) نوشته شود، و به صورت منطقی با و معادل است.[۱]

تعریف

جدول درستی

T T F
T F T
F T F
F F F

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

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

    
Venn0100.svg      Venn1011.svg

در منطق کلاسیک، هم‌ارز نقیض فصل منطقی و است و بنابراین عطف منطقی و می باشد.[۱]

         
Venn0100.svg      Venn1010.svg Venn0011.svg      Venn0101.svg Venn1100.svg

ویژگی‌ها

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

نماد

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

در زبان طبیعی

گرامری

«p منهای q.»

«p بدون q.»

بلاغت

«p اما نه q.»

علوم رایانه

عملیات بیتی:

عملیات منطقی:

منابع

  1. ۱٫۰ ۱٫۱ ۱٫۲ ۱٫۳ ۱٫۴ ۱٫۵ "Material nonimplication". Wikipedia. 2020-02-19.