Ernest Schimmerling ; Basic and Intermediate Logic ; Chapter 1 exercises

© 2013, 2014 Ernest Schimmerling

Online textbook for Basic and Intermediate Logic

Exercises for Chapter 1

Exercise 1.1

Prove Lemma 1.3.

Exercise 1.2

Prove Lemma 1.4.

Exercise 1.3

Prove Lemma 1.5.

Exercise 1.4

Prove Lemma 1.6.