Logic: Predicates

[davidn]

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.

Comments

[kitschyduck.livejournal.com]

more holes than sock? I thought that was funny XP

[scellanis.livejournal.com]

OMG! *stares at the bottom line of the post*

I'd have nightmares if I had exams on stuff like that...

As for the being late one, I had that before my symbolic computation exam, I dreamt I went home and then sort of midnight on the friday night declared to my parents that I needed to be back in st andrews by 11 the next morning for exams and it was panic time...lol

[kitschyduck.livejournal.com]

I'm sure glad I'll never have another exam in my life. art school's all course work. O_o as for numbers, I havent got a clue!

[e-to-the-ipi.livejournal.com]

It scares me that I understand a good deal of that.

[whinknee.livejournal.com]

you don't need lucky socks. You have a lucky fiancee who is rooting for you.