⊨

Introduction (entailment)

1.1 1.2 1.3 1.4

∧

Conjunctions

2.1 ‖ 2.2 2.3 2.4

¬

Negations

3.1 ‖ 3.2 3.3 3.4 3.5

∨

Disjunctions

4.1 ‖ 4.2 4.3

→

Conditionals

5.1 5.2 ‖ 5.3 5.4

=

Predications

6.1 6.2 ‖ 6.3 6.4

∀

Generalizations

7.1 7.2 7.3 7.4 ‖ 7.5 7.6 7.7 7.8

∃

Numerations

8.1 8.2 8.3 8.4 ‖ 8.5 8.6

Appendix A  
Appendix B  

Text in pdf format (1up for viewing, 2up for printing):

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

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

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

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

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

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

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

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

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