Another Example

�John�s grandfather was a blacksmith, and his mother was a seamstress.�

Propositional calculus:

P1: John�s grandfather was a blacksmith.

P2: John�s grandmother was a seamstress.

P & Q

Predicate calculus:

Q1(x): x is a blacksmith.

Q2(x): x is a seamstress.

f(x): grandfather of x.

Q1(f(x)) & Q2(m(x))

Previous slide

Next slide

Back to first slide

View graphic version