Modus Ponensin the Predicate Calculus

P(a) -> Q(a)

P(a)

---------

Q(a)

But we have

P(x) -> Q(x)

So we create a substitution instance of it:

P(a) -> Q(a)

using the substitution { a/x }

Previous slide

Next slide

Back to first slide

View graphic version