Predicate Logic

“Every Macintosh computer uses electricity.”

(all x) (Macintosh(x) implies UsesElectricity(x))

variables: x, y, z, etc.

constants: a, b, c, etc.

function symbols: f, g, etc.

Predicate symbols: P, Q,

Macintosh, UsesElectricity

quantifiers: forall, exists

Logical connectives: not, implies, and, or.

~, ->, &, v.

Previous slide

Next slide

Back to first slide

View graphic version