⇒	1.1 1.2 1.3 1.4
∧	2.1 · 2.2 2.3 2.4
¬	3.1 · 3.2 3.3 3.4
∨	4.1 · 4.2 4.3
→	5.1 5.2 · 5.3 5.4
=	6.1 6.2 · 6.3 6.4
∀	7.1 7.2 7.3 7.4 · 7.5 7.6 7.7 7.8
∃	8.1 8.2 8.3 8.4 · 8.5 8.6
	Appendix A   Appendix B