Which one of the following is the most appropriate logical formula to represent the statement? “Gold and silver ornaments are precious”.
The following notations are used:
G(x): x is a gold ornament
S(x): x is a silver ornament
P(x): x is precious
-
$\forall x(P(x) \implies (G(x) \wedge S(x)))$
-
$\forall x((G(x) \wedge S(x)) \implies P(x))$
-
$\exists x((G(x) \wedge S(x)) \implies P(x))$
-
$\forall x((G(x) \vee S(x)) \implies P(x))$
D
Correct answer
Explanation
Given that gold and silver ornament are precious.
So, we use,
gold and silver gold $\lor$ silver
$\forall$((G(x) $\lor$ S(x)))
Gold and silver $\rightarrow$precious
$\forall$((G(x) $\lor$ S(x)) $\rightarrow$ P(x)