Arjun Suresh (talk | contribs) |
Arjun Suresh (talk | contribs) |
||
| (2 intermediate revisions by the same user not shown) | |||
| 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: | ||
| Line 24: | Line 26: | ||
[[Category: GATE2009]] | [[Category: GATE2009]] | ||
| − | [[Category: | + | [[Category: Mathematical Logic questions from GATE]] |
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.
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.
GATECSE