Quantifying Over Propositions

: all(p)(Believes(Bob, p) => p).

: all(p)(Believes(Bill, p) => Believes(Bob, p)).

: all(p)

(Favorite-proposition(Kevin, p) => Believes(Bill, p)).

: Favorite-proposition(Kevin, Taller(John, Mary)).

: Taller(John, Mary)?

TALLER(JOHN,MARY)

Previous slide

Next slide

Back to first slide

View graphic version