MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Can someone explain to be what is going on here? existential universal quantifications [closed]

I have to program (C++) and find the true value of the following. I am uncertian as to what it exactly means.

AxAy(C(x, y) -> ((Aw(C(x, w) -> w = y) ^ (Az(C(z, y) -> z = x))

note that the -> is an implication, C(x,y) is a function/ Predicates, ^ is the and function, A is the universal. if it helps, C(x,y) is the predicate, x calls y

I boiled it down using the Implication definition and arrived at -C(x,y) where - is the negation.
is this correct? is the whole long original statment a complicated way of saying " no one made any calls" ?

-
Your question is not really appropriate for this site - please see the FAQ. You might have better luck at math.stackexchange.com (but you should read the FAQ there also). – Neil Strickland Oct 11 2011 at 4:22
kingcong3 -- I've voted to close this since the question does not make any sense (to me). In particular, the phrase "A is the universal" doesn't make sense. However, if A stands for $\forall$, then the formula you give may be translated as "every $x$ calls at most one $y$ (maybe none) and every $y$ is called by at most one $x$ (maybe none)". – algori Oct 11 2011 at 6:01