Difference between revisions of "GATE2009 q23"

Latest revision as of 22:31, 16 April 2015

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:

(A) $\forall x(P(x) \implies (G(x) \wedge S(x)))$

(B) $\forall x((G(x) \wedge S(x)) \implies P(x))$

(C) $\exists x((G(x) \wedge S(x)) \implies P(x))$

(D) $\forall x((G(x) ∨ S(x)) \implies P(x))$

Basically statement is saying that for every thing, if it is a Gold ornament or a silver ornament, then it is precious.

So, $\forall x((G(x) ∨ S(x)) \implies P(x))$ is correct logical formula.

@@ Line 1: / Line 1: @@
 Which one of the following is the most appropriate logical formula to represent
-		the statement? $``$Gold and silver ornaments are precious$''$.
+		the statement?
+ "Gold and silver ornaments are precious".
 		The following notations are used:
-		$G(x): x$ is a gold ornament
+*$G(x): x$ is a gold ornament
-		$S(x): x$ is a silver ornament
+*$S(x): x$ is a silver ornament
-		$P(x): x$ is precious
+*$P(x): x$ is precious
 		(A) $\forall x(P(x) \implies (G(x) \wedge S(x)))$
@@ Line 24: / Line 26: @@
 [[Category: GATE2009]]
-[[Category: Logical Inference questions]]
+[[Category: Mathematical Logic questions from GATE]]