Reductio Ad Absurdum

A form of indirect proof in classical logic that establishes the truth of a proposition P by assuming its negation (¬P), deriving a contradiction or an explicit falsehood from that assumption, and thereby inferring that ¬P is untenable and P must hold within the adopted logical framework.