Modus Ponens

P -> Q

P

---------

Q

Modus ponens is a special case of resolution:

~P v Q

P

---------

Q

Previous slide

Next slide

Back to first slide

View graphic version