Go backward to Predicate Logic Go up to Top Go forward to Example

Domain

An abstract image of the real world.