|
moelester: nice to know i'm not the only one using latex. but i would say that this *is* first order predicate logic. just not standard notation -- Jadzia, is this some Principia Mathematica Whitehead/Russell notation?
Anyway, here's my try. I'm writing 3 for the "there exists" predicate. Plus I don't believe in square brackets and the like. And I'm too lazy for LaTeX too.
And I'm putting "." for "and", and "=>" for "leads to".
1. (x)((Px . Rx) => (y)((Cy . Gy) => Oxy))
P means "person", R means religous, C means commandment, G, means of Godly origin, O means obey.
2. (x)((Px. (3y)(Sy . Bxy)) => (3y)(S'y . Oxy))
S means scientific disovery, S' is scientist, B is benefit, O is owe.
3. ((x)(Px => (3y)(Sy . Bxy)))=>((3y)(Py.~ ((z)((B'z.Dyz)=>P'yz))))
P, B, S as in 2, B' is a bill, D means debt, P' means pay a bill.
All this with the proverbial grain of salt. Typos are hard to avoid without TeX.
__________________
Didn't remember how intense love could be... Thank you B.
|