User Portlet User Portlet

Discussions
Assign ForAll and Exists to two different variables in same equation
In logic, you normaly nest quantifiers. Using Mathematica's notation that would be written: ForAll[y,Exists[x, x^2 + y^2
AUTHOR: Arun Agarwal 1841VIEWS 0REPLIES BY: Sean Clarke 11 years ago