# Reductio ad Absurdum/Explanation

Jump to navigation
Jump to search

## Proof Rule

**Reductio ad Absurdum** can be expressed in natural language as:

- If, by making an assumption that a statement is false , a contradiction can be deduced, that statement must in fact be true.