How to write neither ___ nor ___ in First Order Logic?

362 Views Asked by At

If X exists, it is neither Y nor Z.

Would this be written as X ⇒ ¬Y ∨ ¬Z ?

Or would it be X ⇒ ¬(Y ∨ Z) ?

1

There are 1 best solutions below

0
On

\begin{equation} (\exists x \in S)(\exists y, z \in S) \Rightarrow x \neq y \wedge x \neq z \end{equation}

Where S is some arbitrary set