ضدپیامد مادی

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

این موضوع می‌تواند با استفاده از نمادهای منطقی به صورت ${\displaystyle P\nrightarrow Q}$، ${\displaystyle P\not \supset Q}$ یا «Lpq» (در نماد بوخنسکی) نوشته شود، و به صورت منطقی با ${\displaystyle \neg (P\rightarrow Q)}$ و ${\displaystyle P\land \neg Q}$ معادل است.^[۱]

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

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

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

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

1. 1 2 3 4 5 6 "Material nonimplication". Wikipedia (به انگلیسی). 2020-02-19.