Exercise 3.25

Exercise 3.25 - EXERCISE 3.25 RIK SENGUPTA PRECEPTOR:...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
EXERCISE 3.25 RIK SENGUPTA PRECEPTOR: Professor Delia Fara 1. LessContagious(x, y) “x is less contagious than y”, where x and y are names of diseases. MoreDeadly(x, y) “x is more deadly than y”, where x and y are names of diseases. Here x = AIDS, y = influenza. LessContagious(aids, influenza) /\ MoreDeadly(aids, influenza) 2. Fooled(x, y, z) “x fooled y on z”, where x and y are names of human beings, z is the day of the week. Here x = Abe, y = Stephen, and z = Sunday or z = Monday. Fooled(abe, stephen, sunday) /\ ¬Fooled(abe, stephen, monday) 3. Admires(x, y) “x admires y”, where x and y are names of human beings. Here x = Sean or x = Brad, and y = Meryl or y = Harrison. (Admires(sean, meryl) /\ Admires(sean, harrison)) \/ (Admires(brad, meryl) /\ Admires(brad, harrison)) 4. JollyMiller(x) “x is a jolly miller”, where x is the name of a person. LivesOn(y, z) “y lives on z”, where y is the name of a person, z is the name of a place or a geographical feature. Here x = y = Daisy, and z = the river Dee.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

Exercise 3.25 - EXERCISE 3.25 RIK SENGUPTA PRECEPTOR:...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online