Home›Latin logical phrases›consequentia mirabilis🌐EnglishEnglishDeutschFrançaisItalianoNederlandsРусскийفارسیEntityQ1127312· pop 7· linked from 10 articlesconsequentia mirabilisAlso known as Clavius's law, Clavius' lawtheoremAvailable in 7 languagesFrançaisDeutschРусскийItalianoSlovakفارسیvia Wikidata sitelinks · CC0Connectionsprinciple of excluded middleEntitylaw of identityEntityCategoriesLatin logical phrasesTheorems in propositional logic