Destructive dilemma
વિનાશક મૂંઝવણ એ પ્રસ્તાવાત્મક તર્કના અનુમાનના માન્ય નિયમનું નામ છે. તે અનુમાન છે કે, જો P સૂચવે છે કે Q અને R સૂચવે છે કે S અને ક્યાં તો Q ખોટો છે અથવા S ખોટો છે, તો પછી P અથવા R ખોટો હોવો જોઈએ. ટૂંકમાં, જો બે શરતો સાચી હોય, પરંતુ તેમના પરિણામોમાંથી એક ખોટી હોય, તો તેમની પૂર્વધારણાઓમાંથી એક ખોટી હોવી જોઈએ. વિનાશક મૂંઝવણ એ મોડસ ટોલન્સની અવ્યવસ્થિત આવૃત્તિ છે. મોડસ પોનન્સની વિસંગત આવૃત્તિ એ રચનાત્મક મૂંઝવણ છે. વિનાશક મૂંઝવણનો નિયમ કહી શકાયઃ જ્યાં નિયમ એ છે કે જ્યાં પણ "", "," અને "સાબિતીની રેખાઓ પર દેખાય છે", તે પછીની પંક્તિ પર મૂકી શકાય છે. ઔપચારિક સંકેતન વિનાશક મૂંઝવણ નિયમ ક્રમિક સંકેતનમાં લખી શકાય છેઃ જ્યાં એક ધાતુશાસ્ત્રીય પ્રતીક છે જેનો અર્થ થાય છે, અને કેટલીક તાર્કિક પ્રણાલીમાં; અને સત્ય-કાર્યાત્મક સ્વરવિજ્ઞાન અથવા પ્રસ્તાવાત્મક તર્કના પ્રમેય તરીકે વ્યક્ત કરવામાં આવે છેઃ જ્યાં, અને કેટલીક ઔપચારિક પ્રણાલીમાં વ્યક્ત કરવામાં આવેલી દરખાસ્તો છે. કુદરતી ભાષાનું ઉદાહરણ જો વરસાદ પડશે તો આપણે અંદર રહીશું. જો તડકો હોય તો અમે ફરવા જઈશું. કાં તો આપણે અંદર નહીં રહીએ, અથવા આપણે ફરવા નહીં જઈએ, અથવા બંને. તેથી, કાં તો વરસાદ નહીં પડે, અથવા તડકો નહીં પડે, અથવા બંને. સાબિતી ઉદાહરણ આ દલીલ માળખાની માન્યતા શરતી સાબિતી (CP) અને રિડક્ટિયો એડ અબ્સર્ડમ (RAA) બંનેનો ઉપયોગ કરીને નીચેની રીતે દર્શાવી શકાય છેઃ સંદર્ભ ગ્રંથસૂચિ હોવર્ડ-સ્નાઇડર, ફ્રાન્સિસ; હોવર્ડ-સ્નાઇડર, ડેનિયલ; વેસરમેન, રાયન. ધ પાવર ઓફ લોજિક (ચોથી આવૃત્તિ). મેકગ્રો-હિલ, 2009, પૃષ્ઠ 414. બાહ્ય કડીઓ http://mathworld.wolfram.com/DestructiveDilemma.html અનુમાનના નિયમો પ્રપોઝિશનલ લોજિકમાં દ્વિધા પ્રમેય