Using the predicate symbols shown and the appropriate quantifiers, write each English language statement as a predicate wff. (The domain is the whole world.)
B(x) is “x is a ball.”
R(x) is “x is round.”
S(x) is “x is a soccer ball.”
EXPLANATION:
(a) "All soccer balls are round." can be restated as "For every object x in the world, if x is a soccer ball then x is round."
(b) "Some balls are soccer balls." can be restated as "For some object x in the world, if x is a ball then x is a soccer ball."
(c) "There exists a ball that is not a soccer ball." can be restated as "There exists an object x in the world such that x is a ball and x is not a soccer ball."
(d) "Every ball is round." can be restated as "For every object x in the world, if x is a ball then x is round."
Get Answers For Free
Most questions answered within 1 hours.