In: Advanced Math
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 you can.
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)