Computer Sciences > Gate 2016 Set-2 > Pridicate Calculus
Which one of the following well-formed formulae in predicate calculus is NOT valid?
A
(∀x p(x) ⇒ ∀x q(x)) ⇒ (∃x¬p(x) ∨ ∀x q(x))
B
(∃x p(x) ∨ ∃x q(x)) ⇒ ∃x (p(x) ∨ q(x))
C
∃x (p(x) ∧ q(x)) ⇒ (∃x p(x) ∧ ∃x q(x))
D
∀x (p(x) ∨ q(x)) ⇒ (∀x p(x) ∨ ∀x q(x))

Correct : Pridicate Calculus

Similar Questions

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
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
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

Related Topics

No tags found

Unique Visitor Count

Total Unique Visitors

Loading......
Question Options

Contributed by: