Changelog for W18 edition - Githubissues

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic

https://forallx.openlogicproject.org/

Creative Commons Attribution 4.0 International

94 stars 30 forks source link

Changelog for W18 edition #18

Closed rzach closed 5 years ago

rzach commented 7 years ago

Rewrote 15.7 and 15.8 and combined into one section:
- _|_I is now ~E, with order of premises reversed
- _|_E is now called explosion (X)
- Removed TND as a basic rule, and instead added indicrect proof (IP)
- Renamed tertium non datur to excluded middle,TND to LEM
- Added exercises 19.C-E