User Portlet
| Discussions |
|---|
| I have this code: xP = x - 1; implication3 = Implies[xP == x - 1 && x \[Element] Integers && x > 1 && Mod[x, 2] == 1, Floor[Log[2, x]] == Floor[Log[2, xP]]]; simpleImplication3 = FullSimplify[implication3]; ... |
| I guess something like this would return true or false, depending on whether the implication holds true or not. Is there a way to do this? |