Mathematica 9 is now available
Student Support Forum
-----
Student Support Forum: 'Logic and Mathematica' topicStudent Support Forum > General > "Logic and Mathematica"

Next Comment >Help | Reply To Topic
Author Comment/Response
logicpopeye
10/09/06 7:13pm

I am new to Mathematica.

I have this statement:
(x == 1 || x == 2) && x > 1

How can I make Mathematica deduce from it that x is 2? LogicalExpand doesnt solve do it.

That example above is the simplest example of where a variable can be deduced from statement(s).

I want to know if Mathematica can deduce things (values of variables) from general logical statements which allow deductions to be made?

URL: ,

Subject (listing for 'Logic and Mathematica')
Author Date Posted
Logic and Mathematica logicpopeye 10/09/06 7:13pm
Re: Logic and Mathematica Peter Pein 10/11/06 08:22am
Next Comment >Help | Reply To Topic