c) The statement "All soccer balls are round" is equivalent to "For all x, if S(x) then R(x)" and it can be written in predicate wff as
[tex]\forall x\text{ (S(x)}\rightarrow R(x))[/tex]d) The statement "Some balls are not round" is equivalent to "There exist some x such that B(x) and not R(x)", which can be written in predicate wff as
[tex]\mathfrak{\Im }x(B(x)\wedge\urcorner R(x))[/tex]e) The statement "Some balls are round but soccer balls are not" is equivalent to "There exist x such that B(x) and R(x) and there exist x such that S(x) and not R(x)", can be written in prediacte wff as
[tex]\mathfrak{\Im }x(B(x)\wedge R(x))\wedge\mathfrak{\Im }x(S(x)\wedge\urcorner R(x))[/tex]f) The statement "Every round ball is a soccer ball" is equivalent to "For all x, if R(x) then S(x)", can be written in prediacte wff as
[tex]\forall x(R(x)\rightarrow S(x))[/tex]
