ضدپیامد مادی

ضدپیامد مادی ( به انگلیسی: Material nonimplication ) یا اختلال ( به انگلیسی: abjunction ) نقیض پیامد مادی می باشد. یعنی برای هر دو گزاره P و Q ، ضدپیامد مادی از P به Q درست است اگر و تنها اگر نقیض پیامد مادی از P به Q درست باشد. این موضوع به صورت طبیعی تر به این صورت بیان می شود که: ضدپیامد مادی از P به Q درست است، اگر P درست باشد و Q نادرست باشد. [ ۱]
این موضوع می تواند با استفاده از نمادهای منطقی به صورت ، P ⊅ Q یا «Lpq» ( در نماد بوخنسکی ) نوشته شود، و به صورت منطقی با ¬ ( P → Q ) و P ∧ ¬ Q معادل است. [ ۱]
ضدپیامد مادی می تواند به صورت نقیص پیامد مادی تعریف شود. [ ۱]
در منطق کلاسیک، هم ارز نقیض فصل منطقی ¬ P و Q است و بنابراین عطف منطقی P و ¬ Q می باشد. [ ۱]
نگهداری - دروغ: تفسیری که تحت آن به همه متغیرها یک ارزش منطقی «نادرست» داده شده است، تولید کننده یک ارزش منطقی «نادرست» به عنوان نتیجه ضدپیامد مادی است. [ ۱]
نماد ضدپیامد مادی به صورت ساده یک نماد پیامد مادی قلمزده ( حذف از طریق قطع ) است. نماد یونی کد آن 219B16 است ( معادل 8603 ده دهی ) . [ ۱]
«p منهای q. »
«p بدون q. »
«p اما نه q. »
عملیات بیتی: A & ( ∼ B )
عملیات منطقی: A & & ( ! B )