Flame — HabitableZone

Flame » in reply to I took a deductive logic course

Re: I took a deductive logic course
Davin L. — (archived)

(A X) (C(X) ->(B(X) ^ Bi(X)))
Can NOT be derived from:
*(A X) ((B(X) ^ Bi(X)) ->C(X))

(A X) ((B(X) ^ Bi(X)) ->C(X))

Is a symbolization of "For every X, X being a Bully and X being a Bigot, together, means that X is a conservative"

Which is not really my claim, My claim is Most, but Most is a little nasty to get accross in FOL without integer arithmetic (and that gets really sloppy really fast)

I use the Bi (Bigot) to differentiate from the property symbolized by B (Bully), thats where the i comes in

The Caret is a common ASCII symbol for Conjunction

My particular choice of () usage is connonical WRT simple text and quantifiers. I could dispose of the () around the conjunction if we agreed on operator order. It is pretty intro stuff, so from there you probably remember enough to play with the argument and see if I am right.

Best,

Davin

Log in or register to post.

The whole thread (24 posts)