Reductio ad Absurdum

Original syllogism:

Premise 1

Premise 2

...

Premise n

---------------

Conclusion

Syllogism for RAA:

Premise 1

Premise 2

...

Premise n

~Conclusion

----------------------

[]

A proof by resolution uses RAA (proof by contradiction).

Previous slide

Back to first slide

View graphic version