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.