FOL Definitions

• Constants: a,b, dog33.

  • Name a specific object.

• Variables: X, Y.

  • Refer to an object without naming it.

• Functions: father-of

  • Mapping from objects to objects.

• Terms: father-of(father-of(dog33))

  • Refer to objects

• Atomic Sentences: in(father-of(dog33), food6)

  • Can be true or false
  • Correspond to propositional symbols P, Q

Previous slide

Next slide

Back to first slide

View graphic version