Constructive dilemma
تعمیری مخمصے تجویز کردہ منطق کے تخمینے کا ایک درست اصول ہے۔ یہ اندازہ ہے کہ، اگر P کا مطلب Q اور R کا مطلب S ہے اور P یا R میں سے کوئی ایک سچ ہے، تو پھر Q یا S میں سے کسی ایک کو سچ ہونا چاہیے۔ مجموعی طور پر، اگر دو شرائط درست ہیں اور ان میں سے کم از کم ایک پس منظر ہے، تو ان کے نتائج میں سے کم از کم ایک بھی ہونا چاہیے۔ تعمیری دشواری موڈس پونینس کا اختلاط ورژن ہے، جبکہ تباہ کن دشواری موڈس ٹولنز کا اختلاط ورژن ہے۔ تعمیری مخمصے کا قاعدہ بیان کیا جا سکتا ہے: جہاں قاعدہ یہ ہے کہ جب بھی ""، "،" اور "ثبوت کی لکیروں پر ظاہر ہوتے ہیں" کی مثالیں اگلی لائن پر رکھی جا سکتی ہیں۔ رسمی نوٹیشن تعمیری مخمصے کے اصول کو ترتیب وار نوٹیشن میں لکھا جا سکتا ہے: جہاں ایک دھاتی علامت ہے جس کا مطلب ہے کہ،، اور کسی منطقی نظام میں ؛ اور اس کا اظہار سچائی سے متعلق فنکشنل ٹاٹولوجی یا پروپوزیشنل منطق کے نظریہ کے طور پر کیا گیا ہے: جہاں، اور یہ تجاویز ہیں جن کا اظہار کسی رسمی نظام میں کیا گیا ہے۔ قدرتی زبان کی مثال اگر میں ایک ملین ڈالر جیتتا ہوں تو میں اسے کسی یتیم خانے میں عطیہ کر دوں گا۔ اگر میرا دوست ایک ملین ڈالر جیتتا ہے، تو وہ اسے وائلڈ لائف فنڈ میں عطیہ کرے گا۔ یا تو میں ایک ملین ڈالر جیتتا ہوں یا میرا دوست ایک ملین ڈالر جیتتا ہے۔ لہذا، یا تو ایک یتیم خانے کو ایک ملین ڈالر ملیں گے، یا وائلڈ لائف فنڈ کو ایک ملین ڈالر ملیں گے۔ اس مخمصے کا نام ڈسجنکٹو آپریٹر کی منتقلی کی وجہ سے پڑا ہے۔ حوالہ جات قیاس آرائی کے اصول تجویز کردہ منطق میں الجھن کے نظریات