. Since the statement applies to
all integers, you should use the symbol ".5. This is an if--then statement so you should use the symbol . Since the statement applies to
all integers, you should use the symbol ".
Let F(x) be the predicate "4 is a factor of x" and let T(x) be the predicate "2 is a factor of x".
The statement can be written symbolically as: " x 
Z, F(x) 
T(x).
Now recall that the negation of "" x 
D, if P(x) then S(x)'' is $ x D such that P(x) L ~S(x), and write the negation of the given statement.