Hello

A is a formula with variables x and y. What is the difference between

(x,y) A

(x) (y)A

Thank you...

Printable View

- July 26th 2011, 08:57 AMTinafor all quantifier
Hello

A is a formula with variables x and y. What is the difference between

(x,y) A

(x) (y)A

Thank you... - July 26th 2011, 09:23 AMMoeBleeRe: for all quantifier
Unless there's some special context in mind, I'd take them both as the same.

[Here using 'A' for the quantifier in ASCII:]

AxAyP

AxyP

some people write

(x)(y)P

They all mean the same. - July 26th 2011, 09:24 AMTheChazRe: for all quantifier
What makes you think that there is a difference?

Can you come up with any examples where they wouldn't be the same? - July 26th 2011, 09:42 AMFernandoRevillaRe: for all quantifier
If is a first order language with variable letters then, is a well formed formula and it is not. We can of course use as an alternative notation for .

- July 26th 2011, 09:47 AMMoeBleeRe: for all quantifier
I'd rather avoid the clutter of parenethess. It's enough to have

AxAyP

And then to allow that to be indicated by

AxyP - July 28th 2011, 06:23 PMTinaRe: for all quantifier
Thank you all for your replies .