Catalogue of Artificial Intelligence Techniques
Aliases: Proof by Contradiction, Reductio ad Absurdum
Categories: Theorem Proving
Author(s): Dave Plummer
A method of proof in which the conjecture is negated and a contradiction deduced thus proving the conjecture to be true. This is the method of proof utilised by most Resolution theorem provers.
- Nilsson, N.J., Principles of Artificial Intelligence
, Tioga Pub. Co., San Mateo, California, 1980, pp.161--191.