Twenty Questions in FOPL?

?x[Animal(x) ? Vegetable(x) ? Mineral(x)]

but don’t want inclusive or

?x[Animal(x) Vegetable(x) Mineral(x)]

T

T

T

F

T

So don’t want exclusive or either

Previous slide

Next slide

Back to first slide

View graphic version