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?