ضدپیامد مادی

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

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

 تعریف 

 جدول درستی 
      T  T  F T  F  T F  T  F F  F  F

 هم‌ارزهای منطقی 
ضدپیامد مادی می‌تواند به صورت نقیص پیامد مادی تعریف شود.
    50px     50px
در منطق کلاسیک، هم‌ارز نقیض فصل منطقی  و  است و بنابراین عطف منطقی  و  می باشد.
        50px    50px50px    50px50px

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

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

 در زبان طبیعی 

 گرامری 
«p منهای q.»

«p بدون q.»

 بلاغت 
«p اما نه q.»

 علوم رایانه 
عملیات بیتی: 

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

 منابع 

رده:رابط‌های منطقی
رده:منطق
رده:منطق ریاضی
رده:منطق گزاره‌ای