Monday, August 13, 2007

Avast ye scurvy Symbolic Logic!

(Ax(Mx & O2xm -> F2ux) & Ex(Fx & T2ux) -> Ax(Ay(Lx & D2xu & O2xm & Jy & O2ym -> B2xy))) -> (Ru -> R2mu) & (Hu -> Im & Iu)

Ax(Mx & O2xm -> F2ux) & Ex(Fx & T2ux) -> Ax(Ay(Lx & D2xu & O2xm & Jy & O2ym -> B2xy))
----------------

(Ru -> R2mu) & (Hu -> Im & Iu)


Where:

Fx means x is a flower
Hx means x says "hide"
Ix means x hides
Jx means x is a heart
Lx means x is love
Mx means x is an arm
Rx means x says "run"
B2xy means x breaks y in two
D2xy means x is directed at y
F2xy means x falls into y
O2xy means x belongs to y
R2xy means x runs with y
T2xy means x trembles like y
m refers to me
u refers to you


Pardon me, apparently I just felt that David Bowie was in urgent need of some logical analysis. It's not perfect, but I'm sure you get the idea.

0 Comments:

Post a Comment

<< Home