Define the following predicates:
Real( x) = “x is a real number”.
Pos(x) = “x is a positive real number.”
Neg(x) = “x is a negative real number.”
Int(x) = “x is an integer.”
Rewrite the following statements without using quantifiers.Determine which
statements are true or false and justify your answer as best youcan.
a) Pos(0)
b) ?x, Real(x) ? Neg(x) ? Pos(?x)
c) ?x, Int(x) ? Real(x)
d) ?x such that Real(x) ?? Int(x)
