Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Objects in Predicate Logic

  • Constants

    • Names of specific objects

    • E.g. doreen, gord, william, 32

  • Functions

    • Map objects to objects

    • E.g. father(doreen), age(gord), max(23,44)

  • Variables

    • For statements about unidentified objects or general statements

    • E.g. x, y, z, …


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.