![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/langfa-640px-Venn0100.svg.png&w=640&q=50)
ضدپیامد مادی
From Wikipedia, the free encyclopedia
ضدپیامد مادی (به انگلیسی: Material nonimplication) یا اختلال (به انگلیسی: abjunction) نقیض پیامد مادی میباشد. یعنی برای هر دو گزاره و
، ضدپیامد مادی از
به
درست است اگر و تنها اگر نقیض پیامد مادی از
به
درست باشد. این موضوع به صورت طبیعی تر به این صورت بیان می شود که: ضدپیامد مادی از
به
درست است، اگر
درست باشد و
نادرست باشد.[1]
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/320px-Venn0100.svg.png)
این موضوع میتواند با استفاده از نمادهای منطقی به صورت ،
یا «Lpq» (در نماد بوخنسکی) نوشته شود، و به صورت منطقی با
و
معادل است.[1]