(Created page with "Which one of the following is the most appropriate logical formula to represent the statement? $``$Gold and silver ornaments are precious$''$. <br> The following notatio...")
 
Line 1: Line 1:
 
Which one of the following is the most appropriate logical formula to represent
 
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$''$.
<br>
+
 
The following notations are used:
 
The following notations are used:
<br>
+
G(x): x is a gold ornament
+
$G(x): x$ is a gold ornament
<br>
+
S(x): x is a silver ornament
+
$S(x): x$ is a silver ornament
<br>
+
P(x): x is precious
+
$P(x): x$ is precious
<br>
+
<b>(A) </b>&forall;x(P(x) &rarr; (G(x) &and; S(x)))
+
(A) $\forall;x(P(x) \rarr (G(x) \wedge S(x)))$
&nbsp;
+
 
<b>(B) </b>&forall;x((G(x) &and; S(x)) &rarr; P(x))
 
<b>(B) </b>&forall;x((G(x) &and; S(x)) &rarr; P(x))
 
<br>
 
<br>
 
<b>(C) </b>&exist;;x((G(x) &and; S(x)) &rarr; P(x))
 
<b>(C) </b>&exist;;x((G(x) &and; S(x)) &rarr; P(x))
 
<br>
 
<br>
<b>(D) </b>&forall;x((G(x) &or; S(x)) &rarr; P(x))
+
(D) </b>&forall;x((G(x) &or; S(x)) &rarr; P(x))
 
==={{Template:Author|Happy Mittal|{{mittalweb}} }}===
 
==={{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.
 
<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.

Revision as of 12:59, 14 July 2014

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) $\forall;x(P(x) \rarr (G(x) \wedge S(x)))$

(B) ∀x((G(x) ∧ S(x)) → P(x))
(C) ∃;x((G(x) ∧ S(x)) → P(x))
(D) </b>∀x((G(x) ∨ S(x)) → P(x))

Solution by Happy Mittal

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) ∨ S(x)) → P(x)) is correct logical formula, and therefore option (D) is correct.



blog comments powered by Disqus

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) $\forall;x(P(x) \rarr (G(x) \wedge S(x)))$

(B) ∀x((G(x) ∧ S(x)) → P(x))
(C) ∃;x((G(x) ∧ S(x)) → P(x))
(D) </b>∀x((G(x) ∨ S(x)) → P(x))

Solution by Happy Mittal[edit]

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) ∨ S(x)) → P(x)) is correct logical formula, and therefore option (D) is correct.



blog comments powered by Disqus