PPT Slide

Predicate Logic

constants a, b, c, 123, -6.5, John, Mary

variables x, y, z

functions f, g, h, broiled

predicates P, Q, R, S, EATS, LOVES, SLEEPS

P( a, 123 )

LOVES( John, Mary )

EATS( Mary, broiled( x ) )

Sleeps( John )

logic operators V, , ,

quantifiers ( for every )

( there exists )

x y EATS( y ) SLEEPS( Y )

LOVES( x, y )

V

P.3

A

E

A

E

V

V

Previous slide

Next slide

Back to first slide

View graphic version