Computer Sciences > Gate 2017 Set-1 > Pridicate Calculus
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 (∃x R(x,y))
II. ∃y (∀x R(x,y))
III. ∀y (∃x R(x,y))
IV. ∼∃x (∀y R(x,y))
II. ∃y (∀x R(x,y))
III. ∀y (∃x R(x,y))
IV. ∼∃x (∀y R(x,y))
Correct : Pridicate Calculus
Similar Questions
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 th...
Which one of the following well-formed formulae in predicate calculus is NOT valid?
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......