Logic: Predicates

Further to prove that George Orwell was correct when he said in "1984" that the body betrays you at every opportunity, I had two dreams last night. The first was about being late for my Logic exam and not being able to find my socks. The second was about finishing the same exam and realising that I had only answered two questions instead of three. I suppose that the first has some basis to it - this is the first set of exams that I've taken without my lucky socks, as my mother threw them out because they were beginning to have more holes than sock in them.

Let's see, then - A(x):[E(y)¬(¬Caesar(y)vSkol1(x,y))]v[E(y):Func(y,x)] = A(x):[¬A(y)(¬Caesar(y)vSkol1(x,y))]v[E(y):Func(y,z)] or should that be A(y)? Oh well, too late now.