Exercises

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

• Theorem 3: (A ⇒ B) ⇒ ((B ⇒ C) ⇒ (A ⇒ C))

Answers to exercises are shown in Appendix B.