Constructive dilemma
રચનાત્મક મૂંઝવણ એ પ્રસ્તાવાત્મક તર્કના અનુમાનનો માન્ય નિયમ છે. તે અનુમાન છે કે, જો P એ Q સૂચવે છે અને R એ S સૂચવે છે અને P અથવા R એ સાચું છે, તો પછી Q અથવા S એ સાચું હોવું જોઈએ. ટૂંકમાં, જો બે શરતો સાચી હોય અને ઓછામાં ઓછી એક પૂર્વધારણા હોય, તો તેમના પરિણામોમાંથી ઓછામાં ઓછું એક પણ હોવું જોઈએ. રચનાત્મક મૂંઝવણ એ મોડસ પોનન્સનું અવ્યવસ્થિત સંસ્કરણ છે, જ્યારે વિનાશક મૂંઝવણ એ મોડસ ટોલન્સનું અવ્યવસ્થિત સંસ્કરણ છે. રચનાત્મક મૂંઝવણનો નિયમ કહી શકાયઃ જ્યાં નિયમ એ છે કે જ્યારે પણ "", "," અને "સાબિતીની રેખાઓ પર દેખાય છે", ત્યારે તેને પછીની પંક્તિ પર મૂકી શકાય છે. ઔપચારિક સંકેત રચનાત્મક મૂંઝવણનો નિયમ ક્રમિક સંકેતમાં લખી શકાય છેઃ જ્યાં એક ધાતુશાસ્ત્રીય પ્રતીક છે જેનો અર્થ થાય છે, અને કેટલીક તાર્કિક પ્રણાલીમાં; અને સત્ય-કાર્યાત્મક સ્વરવિજ્ઞાન અથવા પ્રસ્તાવાત્મક તર્કના પ્રમેય તરીકે વ્યક્ત કરવામાં આવે છેઃ જ્યાં, અને કેટલીક ઔપચારિક પ્રણાલીમાં વ્યક્ત કરવામાં આવેલી દરખાસ્તો છે. કુદરતી ભાષાનું ઉદાહરણ જો હું એક મિલિયન ડોલર જીતીશ, તો હું તેને અનાથાશ્રમમાં દાન કરીશ. જો મારો મિત્ર એક મિલિયન ડોલર જીતે છે, તો તે તેને વન્યજીવ ભંડોળમાં દાન કરશે. કાં તો હું એક મિલિયન ડોલર જીતીશ અથવા મારા મિત્ર એક મિલિયન ડોલર જીતી જશે. તેથી, ક્યાં તો એક અનાથાલયને એક મિલિયન ડોલર મળશે, અથવા વન્યજીવ ભંડોળને એક મિલિયન ડોલર મળશે. આ મૂંઝવણનું નામ ડિસજેક્ટિવ ઓપરેટરના સ્થાનાંતરણને કારણે પડ્યું છે. પ્રપોઝિશનલ લોજિકમાં અનુમાન દ્વિધા પ્રમેયોના સંદર્ભ નિયમો