Appendix: Natural Deduction Rules
=================================

.. include:: inference_rules_for_propositional_logic.rst
.. include:: inference_rules_for_first_order_logic.rst