search

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

chapter 7 rewrite #17

Closed jonathanichikawa closed 4 years ago

jonathanichikawa commented 4 years ago

I would like to restructure Chapter 7, to match more closely the order I present things in my lectures. This would involve changing the order of the presentation of the rules, and giving a greater emphasis to the importance of exact matches of subsentences.

jonathanichikawa commented 4 years ago

While I am at it — clarify that substitution rules apply to all wffs, not just sentences. (This is idle in Ch. 7 but helpful once we get to QL.)

jonathanichikawa commented 4 years ago

This is done now; ch. 7 is rewritten.