Skip to main content
Mathematica

Return to Question

added 31 characters in body
Source Link
Tom
Tom
  • 125
  • 5

I have try to solve following inequalities using Mamthematica. But it unable to solve that.

Reduce[ForAll[{n}, Implies[{n, N1} >= 0 && n < N1, n < A]] && 
  N1 >= A, {N1,A}, Integers]

Expected Result

N1=A

If we solve that manually,it is very simple.Please Suggest . am I making any mistake or other way to handle this type of problem?

I have try to solve following inequalities using Mamthematica. But it unable to solve that.

Reduce[ForAll[{n}, Implies[{n, N1} >= 0 && n < N1, n < A]] && 
  N1 >= A, {N1,A}, Integers]

If we solve that manually,it is very simple.Please Suggest . am I making any mistake or other way to handle this type of problem?

I have try to solve following inequalities using Mamthematica. But it unable to solve that.

Reduce[ForAll[{n}, Implies[{n, N1} >= 0 && n < N1, n < A]] && 
  N1 >= A, {N1,A}, Integers]

Expected Result

N1=A

If we solve that manually,it is very simple.Please Suggest . am I making any mistake or other way to handle this type of problem?

Source Link
Tom
Tom
  • 125
  • 5

Reduce unable to solve simple inequalities with quantifiers

I have try to solve following inequalities using Mamthematica. But it unable to solve that.

Reduce[ForAll[{n}, Implies[{n, N1} >= 0 && n < N1, n < A]] && 
  N1 >= A, {N1,A}, Integers]

If we solve that manually,it is very simple.Please Suggest . am I making any mistake or other way to handle this type of problem?