- To: mathgroup at smc.vnet.net
- Subject: [mg105309] test implication
- From: olfa <olfa.mraihi at yahoo.fr>
- Date: Fri, 27 Nov 2009 06:29:26 -0500 (EST)
hello mathematica community, knowing tha x,xP,y,yP are integer variables so y + Log[2, x] == yP + Log[2, xP] ==> y + Floor[Log[2, x]] == yP + Floor [Log[2, xP]] is true how should I formulate this sentence in mathematica in order to have as output the value true? thank you.