ND rules subheadings in Quick Reference

jonathanichikawa / for-all-x

Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa

Creative Commons Attribution 4.0 International

16 stars 5 forks source link

Closed jonathanichikawa closed 5 years ago

jonathanichikawa commented 5 years ago

There are two pages of natural deduction rules in Appendix C. These should be in the following subcategories:

Natural Deduction Rules

At present, we don't have a label for basic rules, and "Natural Deduction Rules" is given in a smaller font than the other subcategories.

lauragreenstreet commented 5 years ago

Fixed.