Homework on §7.1—assigned Mon 11/1 and due Wed 11/3

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

Al ate only orange jellybeans

(ii) Use derivations to check: a = b, fb = fc, Ra(fa) ⇒ Rb(fb) ∧ Rc(fc)