search

OpenLogicProject / OpenLogic

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

one row too much in proof of 65.2 #240

Closed fredbok closed 4 years ago

fredbok commented 4 years ago

Typo location: https://github.com/OpenLogicProject/OpenLogic/blob/534a139ade186ee72e249fd0db465600b6e9fd01/content/methods/induction/induction-on-N.tex#L125

What is the typo: The line contains n(k+1), mixing n and k

Proposed correction: change n to k, i.e. & = \frac{k(k+1) + 2(k+1)}{2} = {}\

rzach commented 4 years ago

Thanks!