Question

\[\neg\exists x\exists y( \cdots)\]

does this mean the same as

\[\nexists x\exists y( \cdots)\]

Answer 1

there are conditions in the brackets but they aren't part of the question

Answer 2

Strikethough on any symbol means negation, you can use with "in" or "subset" as well.

Answer 3

yeah im just not sure how much it effects

Answer 4

\[\not \in\]

Answer 5

means "not in"

Answer 6

your two expressions are the same thing...

Answer 7

\[\neg\exists x\exists y(\cdots)\]\[\nexists x\nexists y( \cdots)\]

Answer 8

Those are not the same

Answer 9

how would i have to write it

Answer 10

Write what?

Answer 11

\[\neg\exists x\neg\exists y(\cdots)\Leftrightarrow\nexists x\nexists y( \cdots)\]?

Answer 12

Yes, or not(X,Y)