Go up to Top
Go forward to 2 Adding to the Electrical Domain

1 Defining a Simple Relation

Define the predicate happy(P,D) that is true when person P is happy on day D. A person is happy on a day if

the person is a student and the day is a holiday, or
the person is teaching a course that has a midterm on that day, or
the person is David and the day is either Tuesday or Sunday.

You may use whatever constant symbols (e.g., "david") or predicate symbols (e.g., "teaching") you require. If the intended interpretation of a symbol isn't obvious you must give its intended interpretation.

Solution to the happy question