test implication

*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.