GATE2009 q23 - Revision history

Arjun Suresh at 22:31, 16 April 2015

2015-04-16T22:31:44Z

Arjun Suresh at 11:46, 15 July 2014

2014-07-15T11:46:10Z

Arjun Suresh at 14:28, 14 July 2014

2014-07-14T14:28:24Z

Arjun Suresh at 14:18, 14 July 2014

2014-07-14T14:18:28Z

Arjun Suresh at 14:12, 14 July 2014

2014-07-14T14:12:07Z

Arjun Suresh at 14:11, 14 July 2014

2014-07-14T14:11:33Z

Arjun Suresh at 13:36, 14 July 2014

2014-07-14T13:36:33Z

Arjun Suresh at 12:59, 14 July 2014

2014-07-14T12:59:11Z

Arjun Suresh: Created page with "Which one of the following is the most appropriate logical formula to represent the statement? $``$Gold and silver ornaments are precious$''$.
The following notatio..."

2014-07-14T12:57:03Z

Created page with "Which one of the following is the most appropriate logical formula to represent the statement? $``$Gold and silver ornaments are precious$''$. The following notatio..."

New page

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
 
(A) ∀x(P(x) → (G(x) &and; S(x)))
 
(B) ∀x((G(x) &and; S(x)) → P(x))
 
(C) ∃;x((G(x) &and; S(x)) → P(x))
 
(D) ∀x((G(x) &or; S(x)) → P(x))
==={{Template:Author|Happy Mittal|{{mittalweb}} }}===
Sol : Basically statement is saying that for every thing, if it is a Gold ornament or a silver ornament, then it is precious.
 
So ∀x((G(x) &or; S(x)) → P(x)) is correct logical formula, and therefore option (D) is correct.
{{Template:FBD}}

[[Category: GATE2009]]
[[Category: Logical Inference questions]]

← Older revision		Revision as of 22:31, 16 April 2015
Line 26:		Line 26:

	[[Category: GATE2009]]		[[Category: GATE2009]]
−	[[Category: ~~Logical Inference~~ questions from GATE]]	+	[[Category: Mathematical Logic questions from GATE]]

← Older revision		Revision as of 11:46, 15 July 2014
Line 26:		Line 26:

	[[Category: GATE2009]]		[[Category: GATE2009]]
−	[[Category: Logical Inference questions]]	+	[[Category: Logical Inference questions from GATE]]

@@ Line 4: / Line 4: @@
 		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 10: / Line 10: @@
 		$P(x): x$ is precious
-		(A) $\forall;x(P(x) \implies (G(x) \wedge S(x)))$
+		(A) $\forall x(P(x) \implies (G(x) \wedge S(x)))$
-		<b>(B) </b>&forall;x((G(x) &and; S(x)) &rarr; P(x))
+		(B) $\forall x((G(x) \wedge S(x)) \implies P(x))$
-		<br>
-		<b>(C) </b>&exist;;x((G(x) &and; S(x)) &rarr; P(x))
+		(C) $\exists x((G(x) \wedge S(x)) \implies P(x))$
-		<br>
-		(D) </b>&forall;x((G(x) &or; S(x)) &rarr; P(x))
+		'''(D) $\forall x((G(x) &or; S(x)) \implies P(x))$'''
 ==={{Template:Author|Happy Mittal|{{mittalweb}} }}===
-		<b>Sol : </b> Basically statement is saying that for every thing, if it is a Gold ornament or a silver ornament, then it is precious.
+Basically statement is saying that for every thing, if it is a Gold ornament or a silver ornament, then it is precious.
-		<br>
-		So &forall;x((G(x) &or; S(x)) &rarr; P(x)) is correct logical formula, and therefore option <b>(D)</b> is correct.
+		So, $\forall x((G(x) &or; S(x)) \implies P(x))$ is correct logical formula.
 {{Template:FBD}}
 [[Category: GATE2009]]
 [[Category: Logical Inference questions]]

@@ Line 10: / Line 10: @@
 		$P(x): x$ is precious
-		(A) $\forall;x(P(x) \rarr (G(x) \wedge S(x)))$
+		(A) $\forall;x(P(x) \implies (G(x) \wedge S(x)))$
 		<b>(B) </b>&forall;x((G(x) &and; S(x)) &rarr; P(x))

@@ 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?
 		The following notations are used: