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

Similar Questions

Which one of the following well-formed formulae in predicate calculus is NOT valid?
#96 MCQ
Which one of the following well-formed formulae in predicate calculus is NOT valid?
#96 MCQ
Which one of the following well-formed formulae in predicate calculus is NOT valid?
#96 MCQ

Related Topics

No tags found

Unique Visitor Count

Total Unique Visitors

Loading......