Appendices

Appendix A:
Propositional Logic and Truth Tables

Appendix B:
Categorical Logic with Venn Diagrams