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?
“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?
Correct : Pridicate Calculus
Similar Questions
Which one of the following well-formed formulae in predicate calculus is NOT valid?
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 (...
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
Total Unique Visitors
Loading......