Logical Investigations, with the Nuprl Proof Assistant
Table of Contents
Exercises
Show the proof and find the extract of the evidence for the following theorems:
- Theorem 14: ((∼P) ∨ Q) ⇒ (P ⇒ Q)
- Theorem 15: (P ⇒ Q) ⇒ ∼∼((∼P) ∨ Q)
- Theorem 16: ((P ⇒ Q) ∧ ((P ∨ ∼P) ∨ (Q ∨ ∼Q))) ⇒ ((∼P) ∨ Q)
Answers to exercises are shown in Appendix B.