Constructive dilemma
रचनात्मक दुविधा प्रस्तावात्मक तर्क के अनुमान का एक वैध नियम है। यह अनुमान है कि, यदि पी का अर्थ है क्यू और आर का अर्थ है एस और या तो पी या आर सच है, तो या तो क्यू या एस सच होना चाहिए। संक्षेप में, यदि दो शर्तें सही हैं और कम से कम उनका एक पूर्ववर्ती है, तो उनके परिणामों में से कम से कम एक भी होना चाहिए। रचनात्मक दुविधा मोडस पोनेंस का विखंडनीय संस्करण है, जबकि विनाशकारी दुविधा मोडस टोलेंस का विखंडनीय संस्करण है। रचनात्मक दुविधा नियम को कहा जा सकता हैः जहां नियम यह है कि जब भी "", "", और "" एक प्रमाण के आधार पर दिखाई देते हैं "" के उदाहरणों को बाद की पंक्ति में रखा जा सकता है। औपचारिक संकेतन रचनात्मक दुविधा नियम को क्रमिक संकेतन में लिखा जा सकता हैः जहां एक धात्विक प्रतीक है जिसका अर्थ है कि,, और कुछ तार्किक प्रणाली में एक वाक्यात्मक परिणाम है; और एक सत्य-कार्यात्मक तानाशाही या प्रस्तावात्मक तर्क के प्रमेय के रूप में व्यक्त किया जाता हैः जहां, और कुछ औपचारिक प्रणाली में व्यक्त किए गए प्रस्ताव हैं। प्राकृतिक भाषा का उदाहरण अगर मैं दस लाख डॉलर जीतता हूं, तो मैं इसे एक अनाथालय को दान कर दूंगा। अगर मेरा दोस्त दस लाख डॉलर जीतता है, तो वह इसे वन्यजीव कोष में दान कर देगा। या तो मैं दस लाख डॉलर जीतता हूं या मेरा दोस्त दस लाख डॉलर जीतता है। इसलिए, या तो एक अनाथालय को दस लाख डॉलर मिलेंगे, या एक वन्यजीव कोष को दस लाख डॉलर मिलेंगे। इस दुविधा का नाम डिसजंक्टिव ऑपरेटर के स्थानांतरण के कारण पड़ा है। अनुमान के संदर्भ नियम प्रस्तावात्मक तर्क में दुविधा प्रमेय