Mathematica 9 is now available
Student Support Forum
Student Support Forum: 'Problems with quantifier resolution' topicStudent Support Forum > General > Archives > "Problems with quantifier resolution"

Help | Reply To Topic
Author Comment/Response
04/25/08 1:19pm

I would be very thankful if someone could help me find a reason to why the following resolution of the quantifiers is not working. It is an expression regarding 5 variables with existential quantifiers subject to given constraints. When I launch it, Mathematica just keeps running and returns no answer in form of true or false.

If I reduce the variables to 4, the same expression return true i.e executes instantly.

Secondly If I put the first expression in a nested for loop, It does not return the answer again.

Any help would be highly appreciated.


Ahmed Jawad

Attachment: Resolve tests.nb, URL:,
Help | Reply To Topic