I want to prove $\vdash \neg \neg A \leftrightarrow A$ without using $RAA$ and $\bot$ rules. the part that $\vdash A \to \neg \neg A$ is simple but I can't prove the other part. is there any possibility for proving $\vdash \neg \neg A \to A$ without using $RAA$ and $\bot$ rule in natural deduction?

  • 5
    $\begingroup$ You cannot prove the "other part" because it is not intuitionistically valid. $\endgroup$ – Mauro ALLEGRANZA Nov 28 '16 at 14:26
  • $\begingroup$ @MauroALLEGRANZA thank you $\endgroup$ – Karo Nov 28 '16 at 14:28
  • 1
    $\begingroup$ See Intuitionistic Logic for the basic facts about it. $\endgroup$ – Mauro ALLEGRANZA Nov 28 '16 at 14:29

Your Answer

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

Browse other questions tagged or ask your own question.