recategorized
3,559 views

2 Answers

0 votes
0 votes
To negate ∃x : Q(x), we must claim that Q(x) fails to hold for any possible x. So again we flip the quantifier and then negate the predicate :

∀x ~Q(x) i.e. Option (2)

Related questions

2.6k
views
3 answers
0 votes
Pooja Khatri asked Jul 13, 2018
2,637 views
Consider the following statements:False $\models$ TrueIf $\alpha \models (\beta \wedge \gamma \text{ then } \alpha \models \gamma$Which of the following is ... a is false and statement b is trueBoth statement a and statement b are true
1.6k
views
4 answers
0 votes
Pooja Khatri asked Jul 13, 2018
1,574 views
If $A_i = \{-i, \dots , -2, -1, 0, 1, 2, \dots , i \}$ then $\cup_{i=1}^\infty A_i$ isZQRC
3.2k
views
2 answers
0 votes
Pooja Khatri asked Jul 13, 2018
3,231 views
Which of the relations on {0, 1, 2, 3} is an equivalence relation?{ (0, 0) (0, 2) (2, 0) (2, 2) (2, 3) (3, 2) (3, 3) }{ (0, 0) (1, 2) (2, 2) (3, 3) }{ (0, 0) (0, 1) (0, 2) (1, 0) (1, 1) (1, 2) (2, 0) }{ (0, 0) (0, 2) (2, 3) (1, 1) (2, 2)
923
views
1 answers
0 votes
Pooja Khatri asked Jul 13, 2018
923 views
Which of the following is an equivalence relation on the set of all functions from Z to Z?$\{ f, \:g) \mid f(x) - g(x) =1 \: \forall \: x \in \: Z \}$\{ f, \:g) \mid f(0) ... \}$\{ f, \:g) \mid f(x) - g(x) =k \text{ for some } k \in Z \}$