Re: Notation for FOL and Set Thoery.

Zaljohar@xxxxxxxxx wrote:

On Feb 28, 1:38 am, Frederick Williams <"Frederick
Williams"@antispamhotmail.co.uk.invalid> wrote:
Charlie-Boo wrote:

On Feb 27, 7:29 pm, Zaljo...@xxxxxxxxx wrote:

Implication: ->

Biconditional: <->

3 characters. You don't believe in brevity?

Clarity is more important than brevity. The above two are the only
sensible suggestions in the OP's list.

Careful: you should right ' to me I see that the above two are .....'
it is your personal opinion nothing else.

Indeed it is my personal opinion but I wouldn't be surprised if a few
others share it!

To me I see that the best suggestion were about the universal
quantifier and the existential quantifier.

Stick to either (x,y,z) or (Ax,y,z) for universal and (Ex,y,z) for
existential.

\ is much better than Lambda.

I don't know if that's a reply to my remark that \ is sometimes used for
lambda as in lambda calculus.

--
Remove "antispam" and ".invalid" for e-mail address.
.