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 14: ((∼P) ∨ Q) ⇒ (PQ)
  • Theorem 15: (PQ) ⇒ ∼∼((∼P) ∨ Q)
  • Theorem 16: ((PQ) ∧ ((P ∨ ∼P) ∨ (Q ∨ ∼Q))) ⇒ ((∼P) ∨ Q)





Answers to exercises are shown in Appendix B.