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)$ ?

$\endgroup$
2
  • $\begingroup$ What do you mean by $::$? I haven't seen that notation before. $\endgroup$
    – Alexander Gruber
    Oct 5 '12 at 4:04
  • $\begingroup$ @AlexanderGruber: Removed it, it wasn't relevant to the question! $\endgroup$
    – TCSGrad
    Oct 5 '12 at 4:13
4
$\begingroup$

$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$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.