The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+1 vote
79 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 (15.3k points)
edited by | 79 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
48,515 questions
52,763 answers
183,377 comments
68,234 users