The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+1 vote
66 views

Which of the following statements is not necessarily true ?

  1. $\forall x \: \forall y P(x,y) \Leftrightarrow  \forall y \: \forall x P(x,y)$
  2. $ \exists x \: \exists y P(x,y) \Leftrightarrow \exists y \: \exists x P(x,y)$
  3. $\forall x \: \exists y P(x,y) \Rightarrow \exists y \: \forall x P(x,y) $
  4. $ \exists y \:\forall x P(x,y) \Rightarrow \forall x \: \exists y P(x,y)$
asked in Mathematical Logic by Boss (14.1k points)
edited by | 66 views
+1
answer should be (c)
0
Yes, the correct option is C...
0
option c
0
can you provide an explaination ?

Please log in or register to answer this question.

Answer:

Related questions



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

47,198 questions
51,428 answers
178,321 comments
66,728 users