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