Group Abstract Group Abstract

Message Boards Message Boards

0
|
1.9K Views
|
1 Reply
|
3 Total Likes
View groups...
Share
Share this post:

Express quantifiers for quantifier elimination

David Gerson
Posted 6 years ago

Hi there,

I am trying to express a problem of the form:

ForAll(a, Exists(b, Exists(c, f(a, b, c))))

And then I want to attempt to run quantifier elimination on the expression and see what simplifications are possible. How would I write this in the Wolfram language?

Also, is it possible to constrain the variables before analyzing the quantifiers - e.g. instead of analyzing the ForAll over all values of a, to only consider "forall a between 0 and 10" or something similar?

Thanks! David
POSTED BY: David Gerson
1 Reply
Sort By:

Something like this:

ForAll[a, -10 < a < 10,
 Exists[{b, c}, b >= 0 && c >= 0,
  b^2 + c^2 < a + d]]
Reduce[%]
POSTED BY: Gianluca Gorni
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard