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