Gate2020 cs Q38

0. Which one of the following predicate formulae is NOT logically valid?
Note that W is a predicate formula without any free occurrence of x.

  • Option : B
  • Explanation :
    ∀x (p(x) → W) ⇒ (∀x p(x)) → W is wrong
    ∀ x [(px) → W] ≡ ∀x [∼P(x) ∨ W]
    ≡ ∀x [∼P(x) ∨ W]
    ≡ ∼ [∃x p(x)] ∨ W)
    ≡ ∃x p(x)] → W
Cancel reply

Your email address will not be published. Required fields are marked *


Cancel reply

Your email address will not be published. Required fields are marked *