I am currently studying discrete maths at university. However the text book doesnt seem to explain predicate statements in much detail (only one chapter on them).
In the assignment which i am currently working on (and is due tomorrow), it asks me to determine whether a set of statements is true or false, and give reasons. The statements are mostly like:
for all x in the integers Z, not S(x) implies P(x) where P(x) = x >=0, and S(x) = x^2 - 1 = (x+1)(x-1)
However no where in the text book does it explain how to do this.
If someone could please explain how you are supposed to go about this, or perhaps provide a link, i would be very grateful.