Skip to main content
PRL Project

Logical Investigations, with the Nuprl Proof Assistant
Table of Contents

Previous Page Next Page

Exercises


Show the proof and find the extract of the evidence for the following theorems:

  • Theorem 7: (P ⇒ ∼P) ⇒ (PQ)
  • Theorem 8: (∼(PQ)) ⇒ (P ⇒ ∼Q)





Answers to exercises are shown in Appendix B.