Consequentia mirabilis
کونسیکوینٹیا میرابیلیس (لاطینی "قابل تعریف نتیجہ" کے لیے)، جسے کلاویوس کا قانون بھی کہا جاتا ہے، روایتی اور کلاسیکی منطق میں اس کی نفی کی عدم مطابقت سے کسی تجویز کی سچائی کو قائم کرنے کے لیے استعمال ہوتا ہے۔ اس طرح اس کا تعلق ریڈکٹو ایڈ ابسرڈم سے ہے، لیکن یہ صرف اپنی نفی اور مستقل مزاجی کے تصور کا استعمال کرتے ہوئے کسی تجویز کو ثابت کر سکتا ہے۔ مزید ٹھوس تشکیل کے لیے، یہ بیان کرتا ہے کہ اگر کوئی تجویز اس کی نفی کا نتیجہ ہے، تو یہ مستقل مزاجی کے لیے درست ہے۔ رسمی اشارے میں: مساوی شکلیں مساوی ہونے کی وجہ سے، اصول اس کے مساوی ہے۔ کنسیکوینٹیا میرابیلیس 17 ویں صدی کے یورپ میں مقبول دلیل کا ایک نمونہ تھا جو سب سے پہلے ارسطو کے پروٹریپٹس کے ایک ٹکڑے میں ظاہر ہوا: "اگر ہمیں فلسفہ کرنا ہے تو ہمیں فلسفہ کرنا چاہیے ؛ اور اگر ہمیں فلسفہ نہیں کرنا چاہیے تو ہمیں فلسفہ کرنا چاہیے (یعنی۔ اس نظریے کو درست ثابت کرنے کے لیے) ؛ کسی بھی صورت میں، اس لیے ہمیں فلسفیانہ ہونا چاہیے۔ " بارنس نے منظور کرتے ہوئے دعوی کیا ہے کہ کنسیکوینٹیا میرابیلیس کی اصطلاح صرف اس کی نفی کی عدم مطابقت سے تجویز کے تخمینے کی طرف اشارہ کرتی ہے، اور یہ کہ اصطلاح لیکس کلاویا (یا کلاویوس کا قانون) تجویز کی عدم مطابقت سے تجویز کی نفی کے تخمینے کی طرف اشارہ کرتی ہے۔ سابقہ فالسو کوڈلیبیٹ ٹرٹیم نان ڈاٹور پیئرس کا قانون حوالہ جات تھیوریمز ان پروپوزیشنل منطق لاطینی منطقی جملے بھی دیکھیں۔