Homework on §6.3—assigned Mon 10/25 and due Wed 10/27

(i)

Use derivations to show:

Ra(fc), d = fa, Fb → c = fb ⊨ Fa → (a = b → Rb(fd))

(ii)

Analyze the following in as much detail as possible:

Tom didn’t run in the election, but he knows it’s winner