IS1806
IS1806
Exercise 5. Let P (x) be the statement “x = x2.” If the domain consists of the integers,
what are these truth values?
a) P(0) b) P(1) c) P(2) d) P(-1) e) ∃xP(x) f ) ∀xP(x).
Exercise 6. Determine the truth value of each of these statements if the domain
consists of all integers.
a) ∀n(n + 1 > n) b) ∃n(2n = 3n)
Exercise 7. Translate each of these statements into logical expressions:
a) “No one is perfect”.
b) “All your friends are perfect”.
c) “Everyone is your friend and is perfect”.