Computer Sciences > Gate 2014 Set-1 > Pridicate Calculus
Consider the statement

“Not all that glitters is gold”

Predicate glitters(x) is true if x glitters and predicate gold(x) is true if x is gold. Which one of the following logical formulae represents the above statement?
A
∃x: gold(x) => ¬ glitters(x)
B
∃x: glitters(x) => ¬ gold(x)
C
∀x: gold(x) => glitters(x)
D
∀x: glitters(x) =>¬ gold(x)

Correct : Pridicate Calculus

PROCESSED

Similar Questions

Which one of the following well-formed formulae in predicate calculus is NOT valid?
#96 MCQ
Consider the first-order logic sentence F: ∀ x (∃ y R(x,y)). Assuming non-empty logical domains, which of the sentences below are implied by F? I. ∃y (...
#208 MCQ
The statement (¬ p) → (¬ q) is logically equivalent to which of the statements below? I. p → q II. q → p III. (¬ q) ∨ p IV. (¬ p) ∨ q
#210 MCQ

Related Topics

predicate logic logical formulae Not all that glitters is gold GATE CS 2014 Q7 Computer Sciences GATE logical representation quantifiers logic translate statement logic

Unique Visitor Count

Total Unique Visitors

Loading......

Question Options

Contributed by: