Tag: consequentia mirabilis

Consequentia Mirabilis: The Principle of Indirect Proof

Consequentia mirabilis, a classical logic principle, asserts that if the negation of…

Bossmind