A is a formula with variables x and y. What is the difference between (x,y) A (x) (y)A
Follow Math Help Forum on Facebook and Google+
Unless there's some special context in mind, I'd take them both as the same.
[Here using 'A' for the quantifier in ASCII:]
some people write
They all mean the same.
What makes you think that there is a difference?
Can you come up with any examples where they wouldn't be the same?
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 .
I'd rather avoid the clutter of parenethess. It's enough to have
And then to allow that to be indicated by
Thank you all for your replies .
View Tag Cloud