Proof methods {reductio ad impossibile} {reductio ad absurdum}| {indirect proof} {method of contradiction} {contradiction method} can assume that negative of theorem is true, and then prove that theorem or its premise is false, establishing contradiction. For any component-statement truth-values, contradictions are always false.
Mathematical Sciences>Logic>Reasoning>Deduction
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224