Tag: proof by contradiction

Reductio Ad Absurdum: Arguing to Absurdity

Reductio ad absurdum is a logical argument proving a statement false by…

Bossmind
Bossmind

Negation Elimination in Natural Deduction

Negation elimination is a fundamental rule in natural deduction. It permits inferring…

Bossmind
Bossmind

Indirect Proof

An indirect proof, also known as proof by contradiction, involves assuming the…

Bossmind
Bossmind

The Law of Excluded Middle

The law of excluded middle states that for any proposition, it is…

Bossmind
Bossmind

Double Negation

Double negation is the logical principle where applying negation twice to a…

Bossmind
Bossmind

Consequentia Mirabilis: The Principle of Indirect Proof

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

Bossmind
Bossmind