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
AJ
04/25/08 1:19pm

Hi,
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.

Regards.

Ahmed Jawad
ENSAM Metz
France.


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