Homework on §7.1—assigned Mon 10/31 and due Wed 11/2

(i) Restate the following using a subject-predicate expansion, classify it as affirmative or negative and as direct or complementary, and identify its domain and attribute:

Al saw no one he knew at the party

(ii) Use derivations to check the following (you need not present a counterexample):

a = b, fc = fd, Rba, Rb(fa) → Rd(fc) ⇒ Ra(fb) → Rc(fd)