Consequentia mirabilis
कोंसीक्वेन्शिया मिराबिलिस ("प्रशंसनीय परिणाम" के लिए लैटिन), जिसे क्लावियस के नियम के रूप में भी जाना जाता है, का उपयोग पारंपरिक और शास्त्रीय तर्क में किसी प्रस्ताव की सच्चाई को उसके निषेध की असंगतता से स्थापित करने के लिए किया जाता है। इस प्रकार यह रिडक्टियो एड एब्सर्डम से संबंधित है, लेकिन यह केवल अपने स्वयं के निषेध और निरंतरता की अवधारणा का उपयोग करके एक प्रस्ताव को साबित कर सकता है। अधिक ठोस सूत्रीकरण के लिए, यह कहता है कि यदि कोई प्रस्ताव उसके निषेध का परिणाम है, तो यह निरंतरता के लिए सच है। औपचारिक संकेतन मेंः समतुल्य रूपों के समतुल्य होने के कारण, सिद्धांत समतुल्य है। इतिहास कन्सेक्वेन्शिया मिराबिलिस 17वीं शताब्दी के यूरोप में लोकप्रिय तर्क का एक पैटर्न था जो पहली बार अरस्तू के प्रोट्रेप्टिकस के एक टुकड़े में दिखाई दियाः "अगर हमें दर्शन करना है, तो हमें दर्शन करना चाहिए; और अगर हमें दर्शन नहीं करना है, तो हमें दर्शन करना चाहिए (यानी। इस दृष्टिकोण को उचित ठहराने के लिए); इसलिए, किसी भी मामले में, हमें दार्शनिक होना चाहिए। बार्न्स ने पारित करते हुए दावा किया कि परिणामी मिराबिलिस शब्द केवल इसके निषेध की असंगति से प्रस्ताव के अनुमान को संदर्भित करता है, और यह कि लेक्स क्लाविया (या क्लावियस का कानून) शब्द प्रस्ताव की असंगति से प्रस्ताव के निषेध के अनुमान को संदर्भित करता है। यह भी देखें कि प्रस्तावक तर्क लैटिन तार्किक वाक्यांशों में एक्स फाल्सो क्वोडलिबेट टर्टियम नॉन डैटर पियर्से का नियम संदर्भ प्रमेय है।