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 7: (P ⇒ ∼P) ⇒ (P ⇒ Q)
- Theorem 8: (∼(P ⇒ Q)) ⇒ (P ⇒ ∼Q)
Answers to exercises are shown in Appendix B.