Introduction (entailment)

1.1 1.2 1.3 1.4

Conjunctions

2.12.2 2.3 2.4

¬

Negations

3.13.2 3.3 3.4 3.5

Disjunctions

4.14.2 4.3

Conditionals

5.1 5.25.3 5.4

=

Predications

6.1 6.26.3 6.4

Generalizations

7.1 7.2 7.3 7.47.5 7.6 7.7 7.8

Numerations

8.1 8.2 8.3 8.48.5 8.6

Appendix A  
Appendix B  

Text in pdf format:

1.1 (2up, hlf) 1.2 (2up, hlf) 1.3 (2up, hlf) 1.4 (2up, hlf)

2.1 (2up, hlf) 2.2 (2up, hlf) 2.3 (2up, hlf) 2.4 (2up, hlf)

3.1 (2up, hlf) 3.2 (2up, hlf) 3.3 (2up, hlf) 3.4 (2up, hlf) 3.5 (2up, hlf)

4.1 (2up, hlf) 4.2 (2up, hlf) 4.3 (2up, hlf)

5.1 (2up, hlf) 5.2 (2up, hlf) 5.3 (2up, hlf) 5.4 (2up, hlf)

6.1 (2up, hlf) 6.2 (2up, hlf) 6.3 (2up, hlf) 6.4 (2up, hlf)

7.1 (2up, hlf) 7.2 (2up, hlf) 7.3 (2up, hlf) 7.4 (2up, hlf)
7.5 (2up, hlf) 7.6 (2up, hlf) 7.7 (2up, hlf) 7.8 (2up, hlf)

8.1 (2up, hlf) 8.2 (2up, hlf) 8.3 (2up, hlf) 8.4 (2up, hlf)
8.5 (2up, hlf) 8.6 (2up, hlf)

App A (2up, hlf) App B (2up, hlf)