Destructive dilemma
ধ্বংসাত্মক দ্বিধা হল প্রস্তাবমূলক যুক্তির অনুমানের একটি বৈধ নিয়মের নাম। এটি অনুমান যে, যদি পি বোঝায় কিউ এবং আর বোঝায় এস এবং হয় কিউ মিথ্যা বা এস মিথ্যা, তবে পি বা আর অবশ্যই মিথ্যা হতে হবে। সংক্ষেপে, যদি দুটি শর্ত সত্য হয়, তবে তাদের ফলগুলির মধ্যে একটি মিথ্যা হয়, তবে তাদের পূর্বসূরীদের মধ্যে একটি অবশ্যই মিথ্যা হতে হবে। ধ্বংসাত্মক দ্বিধা হল মোডাস টোলেনের বিচ্ছিন্ন সংস্করণ। মোডাস পোনেনসের বিচ্ছিন্ন সংস্করণটি গঠনমূলক দ্বিধাদ্বন্দ্ব। ধ্বংসাত্মক দ্বিধাদ্বন্দ্বের নিয়মটি বলা যেতে পারেঃ যেখানে নিয়মটি হল যে যেখানেই "", "", এবং "" প্রমাণের লাইনে উপস্থিত "" এর উদাহরণগুলি পরবর্তী লাইনে স্থাপন করা যেতে পারে। আনুষ্ঠানিক স্বরলিপি ধ্বংসাত্মক দ্বিধাদ্বন্দ্বের নিয়মটি ক্রমানুসারে স্বরলিপিতে লেখা যেতে পারেঃ যেখানে একটি ধাতব প্রতীক যার অর্থ একটি বাক্য গঠনমূলক পরিণতি, এবং কিছু যৌক্তিক পদ্ধতিতে; এবং একটি সত্য-কার্যকরী স্বতঃস্ফূর্ততা বা প্রস্তাবমূলক যুক্তির উপপাদ্য হিসাবে প্রকাশ করা হয়ঃ যেখানে, এবং কিছু আনুষ্ঠানিক পদ্ধতিতে প্রকাশিত প্রস্তাবনা। প্রাকৃতিক ভাষার উদাহরণ যদি বৃষ্টি হয়, তাহলে আমরা ভিতরেই থাকব। যদি রোদ থাকে, তাহলে আমরা হাঁটতে যাব। হয় আমরা ভিতরে থাকব না, অথবা হাঁটতে যাব না, অথবা দুটোই। অতএব, হয় বৃষ্টি হবে না, অথবা রৌদ্রোজ্জ্বল হবে না, অথবা উভয়ই। প্রমাণ প্রমাণ এই যুক্তি কাঠামোর বৈধতা নিম্নলিখিত উপায়ে শর্তাধীন প্রমাণ (সিপি) এবং রিডাক্টিও অ্যাড অ্যাবসর্ডাম (আরএএ) উভয়ই ব্যবহার করে দেখানো যেতে পারেঃ রেফারেন্স গ্রন্থপঞ্জি হাওয়ার্ড-স্নাইডার, ফ্রান্সেস; হাওয়ার্ড-স্নাইডার, ড্যানিয়েল; ওয়াসারম্যান, রায়ান। দ্য পাওয়ার অফ লজিক (4র্থ সংস্করণ)। ম্যাকগ্রা-হিল, 2009, পৃ. 414। বাহ্যিক লিঙ্ক http://mathworld.wolfram.com/DestructiveDilemma.html অনুমানের নিয়ম প্রস্তাবনা যুক্তিতে দ্বন্দ্ব উপপাদ্য