Destructive dilemma
تباہ کن دشواری تجویز کردہ منطق کے تخمینے کے ایک درست اصول کا نام ہے۔ یہ اندازہ ہے کہ، اگر P کا مطلب Q اور R کا مطلب S ہے اور یا تو Q غلط ہے یا S غلط ہے، تو P یا R کو غلط ہونا چاہیے۔ مجموعی طور پر، اگر دو شرائط درست ہیں، لیکن ان کے نتائج میں سے ایک غلط ہے، تو ان میں سے ایک پس منظر غلط ہونا چاہیے۔ تباہ کن دشواری موڈس ٹولنز کا اختلاط ورژن ہے۔ موڈس پونینس کا اختلاط ورژن تعمیری مخمصے کا باعث ہے۔ تباہ کن مخمصے کا قاعدہ بیان کیا جا سکتا ہے: جہاں قاعدہ یہ ہے کہ جہاں بھی ""، "،" اور "ثبوت کی لکیروں پر ظاہر ہوتے ہیں،" کی مثالیں اگلی لائن پر رکھی جا سکتی ہیں۔ رسمی نوٹیشن تباہ کن دشواری کا قاعدہ ترتیب وار نوٹیشن میں لکھا جا سکتا ہے: جہاں ایک دھاتی علامت ہے جس کا مطلب ہے کہ ایک نحو نتیجہ ہے،، اور کسی منطقی نظام میں ؛ اور اس کا اظہار سچائی سے متعلق فنکشنل ٹاٹولوجی یا پروپوزیشنل منطق کے نظریہ کے طور پر کیا گیا ہے: جہاں، اور یہ تجاویز ہیں جو کسی رسمی نظام میں ظاہر کی گئی ہیں۔ قدرتی زبان کی مثال اگر بارش ہو تو ہم اندر ہی رہیں گے۔ اگر دھوپ ہو تو ہم سیر کے لیے جائیں گے۔ یا تو ہم اندر نہیں رہیں گے، یا ہم سیر کے لیے نہیں جائیں گے، یا دونوں۔ لہذا، یا تو بارش نہیں ہوگی، یا دھوپ نہیں ہوگی، یا دونوں۔ ثبوت مثال اس دلیل کے ڈھانچے کی صداقت کو مشروط ثبوت (سی پی) اور ریڈکٹو ایڈ ابسرڈم (آر اے اے) دونوں کو مندرجہ ذیل طریقے سے استعمال کرکے دکھایا جا سکتا ہے: حوالہ جات کتابچہ ہاورڈ-سنائڈر، فرانسس ؛ ہاورڈ-سنائڈر، ڈینیل ؛ واسرمین، ریان۔ منطق کی طاقت (چوتھی ایڈیشن)۔ میک گرا ہل، 2009، صفحہ 414۔ بیرونی روابط http://mathworld.wolfram.com/DestructiveDilemma.html قیاس آرائی کے اصول دشواری کے نظریات تجویز کردہ منطق میں