پرش به محتوا

ضدپیامد مادی

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

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

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

تعریف

[ویرایش]

جدول درستی

[ویرایش]
T T F
T F T
F T F
F F F

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

[ویرایش]

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

    
    

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

         
         

ویژگی‌ها

[ویرایش]

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

نماد

[ویرایش]

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

در زبان طبیعی

[ویرایش]

گرامری

[ویرایش]

«p منهای q.»

«p بدون q.»

بلاغت

[ویرایش]

«p اما نه q.»

علوم رایانه

[ویرایش]

عملیات بیتی:

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

منابع

[ویرایش]
  1. ۱٫۰ ۱٫۱ ۱٫۲ ۱٫۳ ۱٫۴ ۱٫۵ "Material nonimplication". Wikipedia (به انگلیسی). 2020-02-19.