1
$\begingroup$

Can

$P \Leftrightarrow (\exists x: A)$ be stated alternatively as

$\overline{P} \Leftrightarrow \neg (\exists x: A)$

i.e.

$\overline{P} \Leftrightarrow (\forall x: \neg A)$ ?

  • 0
    @AlexanderGruber: Removed it, it wasn't relevant to the question!2012-10-05

1 Answers 1

4

$P \Leftrightarrow Q$ is the same as $P \Rightarrow Q$ and $Q \Rightarrow P$
Those may be converted as $\neg Q \Rightarrow \neg P$ and $ \neg P \Rightarrow \neg Q$
Which is then indeed what you are asking about: $\neg P \Leftrightarrow \neg Q$