Arjun Suresh (talk | contribs) (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...") |
Arjun Suresh (talk | contribs) |
||
| 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$''$. | ||
| − | + | ||
The following notations are used: | 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) \rarr (G(x) \wedge S(x)))$ | |
| − | + | ||
<b>(B) </b>∀x((G(x) ∧ S(x)) → P(x)) | <b>(B) </b>∀x((G(x) ∧ S(x)) → P(x)) | ||
<br> | <br> | ||
<b>(C) </b>∃;x((G(x) ∧ S(x)) → P(x)) | <b>(C) </b>∃;x((G(x) ∧ S(x)) → P(x)) | ||
<br> | <br> | ||
| − | + | (D) </b>∀x((G(x) ∨ S(x)) → 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. | ||
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))
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.
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))
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.
GATECSE