OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.08k stars 242 forks source link

Fix a few typos in the "Theories and their Models" chapter #308

Closed furcyd closed 2 years ago

furcyd commented 2 years ago

I also added a set of braces around the sentences in the "strict linear orders" example, i.e., the first example in the third section of this chapter. I did this only for the first example because the preceding text announces a set and the sentences were separated by commas but not enclosed in an explicit set. The commas are not included in the following examples, nor is the word "set" used. So I left them alone. The only exception is the mereology example, in which I removed the commas in order to be consistent with the previous examples.

rzach commented 2 years ago

Thanks!