Inadequacy of FOPL 1

• If R is a transitive relation

and R(x, y) and R(y, z)

then R(x, z).

Previous slide

Next slide

Back to first slide

View graphic version