Message Boards Message Boards

0
|
1146 Views
|
1 Reply
|
0 Total Likes
View groups...
Share
Share this post:
GROUPS:

Assign ForAll and Exists to two different variables in same equation

Posted 10 years ago

I want to Resolve a multivariate inequality but assign different quantifiers to different variables.
Example:
Resolve[Exists[{x}, x^2 + y^2 < 1]]
Now I want to add ForAll quantifier to y. Is there any other way than the following to achieve this because the following would be mess if the number of variables are increased?
Resolve[Exists[{x}, x^2 + y^2 < 1] && ForAll[y, x^2 + y^2 < 1]]

POSTED BY: Arun Agarwal
POSTED BY: Sean Clarke
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract