Skip to content
Related Articles

Related Articles

GATE | GATE-CS-2009 | Question 23

View Discussion
Improve Article
Save Article
  • Last Updated : 11 Oct, 2021
View Discussion
Improve Article
Save Article

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)∧S(x)))
(B) ∀x((G(x)∧S(x))→P(x))
(C) ∃x((G(x)∧S(x))→P(x)
(D) ∀x((G(x)∨S(x))→P(x))


Answer: (D)

Explanation:  

=> This statement can be expressed as
=> For all X, x can be either gold or silver then the ornament X is precious
=> For all X, (G(X) v S(x)) => P(X).

This solution is contributed by Anil Saikrishna Devarasetty .



Quiz of this Question

My Personal Notes arrow_drop_up
Recommended Articles
Page :

Start Your Coding Journey Now!