All the definition is saying is that the floor of x is the integer which is less than x and greater than or equal to every integer less than x.

However that will probably not help since by the look of the question you are expected to prove or disprove the given claims using mindless and meaning free rule following in the great formallist/Bourbakist tradition.

CB