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.


References:


Comments:

Add Comment

No comments.