Homework 3
Homework 3
a) ∀x(C(x)→ F(x))
consists of all people.
b) ∀x(C(x)∧F(x))
c) ∃x(C(x)→ F(x))
d) ∃x(C(x)∧F(x))
2. Let P(x) be the statement “x can speak Russian” and let Q(x) be
the statement “x knows the computer language C++.”
Express each of these sentences in terms of P(x) , Q(x),
quantifiers, and logical connectives. The domain for quantifiers
consists of all students at your school.
a) There is a student at your school who can speak Russian and
who knows C++.
b) There is a student at your school who can speak Russian but
who doesn’t know C++.
c) Every student at your school either can speak Russian or knows
C++.
d) No student at your school can speak Russian or knows C++.
3. Determine the truth value of each of these statements if the
a) ∀n(n2 ≥0)
domain for all variables consists of all integers.
b) ∃n(n2 =2)
c) ∀n(n2 ≥ n)
d) ∃n(n2 < 0)