The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+16 votes

Consider the following well-formed formulae:

  1. $\neg \forall x(P(x))$
  2. $\neg \exists x(P(x))$
  3. $\neg \exists x(\neg P(x))$
  4. $\exists x(\neg P(x))$

Which of the above are equivalent?

  1. I and III
  2. I and IV
  3. II and III
  4. II and IV
asked in Mathematical Logic by Boss (16k points)
edited by | 1k views
Remember negation of quantifiers-

$\neg\forall x(P(x))=\exists x(\neg P(x))$

$\neg \exists x(P(x))=\forall x(\neg P(x))$

4 Answers

+12 votes
Best answer

Option (B) is correct.  I and IV are equivalent. 

$¬∀x(P(x)) \equiv ∃x(¬P(x))$    [De morgan's Law]

Alternate approach:

Let's take an example.

Let $P(x)\implies$  Student $x$ is pass

$I \implies$ Not all students are pass. (which means "Some students are fail")

$II\implies$There does not exist a student who is pass. (which means "Every student is fail")

$III \implies$There does not exist a student who is not pass  (which means "Every student is pass")

$IV\implies$Some students are not pass. (which means "Some students are fail")

I and IV are equivalent.

answered by Boss (15.5k points)
edited by
+12 votes
I and IV are equal
answered by Boss (14.4k points)
+5 votes
Do double negation of (i) which gives (iv).

Hence Option B is Ans.
answered by Boss (23.4k points)
edited by
+4 votes

Using De morgan's Law

answered by Boss (39.6k points)

Related questions

+28 votes
7 answers
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
49,541 questions
54,084 answers
70,995 users