Equivalent Statements in FOPL?

?x[Human(x) ? Featherless-Biped(x)

?Rational-Animal(x)]

wrong:

F ? F ? T

T

T

Previous slide

Next slide

Back to first slide

View graphic version