Constructive dilemma
গঠনমূলক দ্বিধা হল প্রস্তাবনামূলক যুক্তির অনুমানের একটি বৈধ নিয়ম। এটি অনুমান যে, যদি পি বোঝায় কিউ এবং আর বোঝায় এস এবং পি বা আর সত্য হয়, তবে কিউ বা এস সত্য হতে হবে। সংক্ষেপে, যদি দুটি শর্ত সত্য হয় এবং তাদের পূর্বসূরীদের মধ্যে অন্তত একটি হয়, তবে তাদের অন্তত একটি ফল অবশ্যই হতে হবে। গঠনমূলক দ্বিধা হল মোডাস পোনেন্সের বিচ্ছিন্ন সংস্করণ, যেখানে, ধ্বংসাত্মক দ্বিধা হল মোডাস টোলেন্সের বিচ্ছিন্ন সংস্করণ। গঠনমূলক দ্বিধাদ্বন্দ্বের নিয়মটি বলা যেতে পারেঃ যেখানে নিয়মটি হল যে যখনই "", "," এবং "প্রমাণের লাইনে উপস্থিত" এর উদাহরণগুলি পরবর্তী লাইনে স্থাপন করা যেতে পারে। আনুষ্ঠানিক স্বরলিপি গঠনমূলক দ্বিধাদ্বন্দ্বের নিয়মটি ক্রমিক স্বরলিপিতে লেখা যেতে পারেঃ যেখানে একটি ধাতব প্রতীক যার অর্থ একটি বাক্য গঠনমূলক পরিণতি, এবং কিছু যৌক্তিক সিস্টেমে; এবং একটি সত্য-কার্যকরী স্বতঃস্ফূর্ততা বা প্রস্তাবমূলক যুক্তির উপপাদ্য হিসাবে প্রকাশ করা হয়ঃ যেখানে, এবং কিছু আনুষ্ঠানিক সিস্টেমে প্রকাশিত প্রস্তাবনা। প্রাকৃতিক ভাষার উদাহরণ আমি যদি এক মিলিয়ন ডলার জিতি তবে আমি এটি একটি অনাথ আশ্রমে দান করব। যদি আমার বন্ধু এক মিলিয়ন ডলার জেতে, সে তা বন্যপ্রাণী তহবিলে দান করবে। হয় আমি এক মিলিয়ন ডলার জিতব, নয়তো আমার বন্ধু এক মিলিয়ন ডলার জিতবে। অতএব, হয় একটি এতিমখানা এক মিলিয়ন ডলার পাবে, অথবা একটি বন্যপ্রাণী তহবিল এক মিলিয়ন ডলার পাবে। ডিসজাংক্টিভ অপারেটরের স্থানান্তরের কারণে এই দ্বিধাদ্বন্দ্বের নামটি এসেছে। রেফারেন্স অনুমানের নিয়ম প্রস্তাবনামূলক যুক্তিতে দ্বন্দ্ব উপপাদ্য