Consequentia mirabilis
કોન્સેક્વેન્શિયા મિરાબિલિસ ("પ્રશંસનીય પરિણામ" માટે લેટિન), જેને ક્લેવિયસના કાયદા તરીકે પણ ઓળખવામાં આવે છે, તેનો ઉપયોગ પરંપરાગત અને શાસ્ત્રીય તર્કશાસ્ત્રમાં તેના નિષેધની અસંગતતાથી દરખાસ્તના સત્યને સ્થાપિત કરવા માટે થાય છે. આમ તે રિડક્ટિયો એડ અબ્સર્ડમ સાથે સંબંધિત છે, પરંતુ તે માત્ર તેના પોતાના નિષેધ અને સુસંગતતાના ખ્યાલનો ઉપયોગ કરીને દરખાસ્તને સાબિત કરી શકે છે. વધુ નક્કર રચના માટે, તે જણાવે છે કે જો કોઈ દરખાસ્ત તેના નકારનું પરિણામ છે, તો તે સુસંગતતા માટે સાચું છે. ઔપચારિક સંકેતમાંઃ સમકક્ષ સ્વરૂપો સમકક્ષ હોવાથી, સિદ્ધાંત તેની સમકક્ષ છે. ઇતિહાસ કન્સેક્વેન્શિયા મિરાબિલિસ એ 17મી સદીના યુરોપમાં લોકપ્રિય દલીલની એક પેટર્ન હતી જે સૌપ્રથમ એરિસ્ટોટલના પ્રોટ્રેપ્ટિકસના એક ભાગમાં દેખાતી હતીઃ "જો આપણે ફિલસૂફી કરવી જોઈએ, તો આપણે ફિલસૂફી કરવી જોઈએ; અને જો આપણે ફિલસૂફી ન કરવી જોઈએ, તો આપણે ફિલસૂફી કરવી જોઈએ (એટલે કે. આ દ્રષ્ટિકોણને ન્યાયી ઠેરવવા માટે); તેથી, કોઈ પણ સંજોગોમાં, આપણે ફિલસૂફી કરવી જોઈએ. બાર્ન્સ પસાર કરવામાં દાવો કરે છે કે કન્સેક્વેન્શિયા મિરાબિલિસ શબ્દ ફક્ત તેના અસ્વીકારની અસંગતતાથી દરખાસ્તના અનુમાનનો સંદર્ભ આપે છે, અને લેક્સ ક્લાવિયા (અથવા ક્લેવિયસનો કાયદો) શબ્દ દરખાસ્તની અસંગતતાથી દરખાસ્તના નિરાકરણના અનુમાનનો સંદર્ભ આપે છે. પ્રપોઝિશનલ લોજિક લેટિન લોજિકલ શબ્દસમૂહોમાં એક્સ ફાલ્સો ક્વોડલિબેટ ટર્ટિયમ નોન ડેટુર પીયર્સનો કાયદો સંદર્ભો પ્રમેય પણ જુઓ.