Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Refutation Proof

Aliases: Proof by Contradiction, Reductio ad Absurdum

Keywords: refutation

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.



Add Comment

No comments.