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)$ ?
$\begingroup$
$\endgroup$
2
-
$\begingroup$ What do you mean by $::$? I haven't seen that notation before. $\endgroup$– Alexander Gruber ♦Oct 5, 2012 at 4:04
-
$\begingroup$ @AlexanderGruber: Removed it, it wasn't relevant to the question! $\endgroup$– TCSGradOct 5, 2012 at 4:13
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
$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$
