 ##  [Reductio Ad Absurdum](/index.php/reductio-ad-absurdum) 

  ##  [Reductio Ad Absurdum](https://humanitites.quantumdictionary.io/reductio-ad-absurdum-0) 

  

 [![Humanities & Arts Dictionary](/sites/default/files/styles/large/public/2026-01/Humanities%20%26%20Arts.png.webp?itok=4SMNHqFS)](/index.php/topic-specific-dictionaries/humanities-arts)



**Humanities &amp; Arts Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.