Fixed reference to line number, Chp 15 prob A

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

Fixed reference to line number, Chp 15 prob A #25

Closed jh010 closed 6 years ago

jh010 commented 6 years ago

Previous version refers to illicit conjunction elimination happening on Line 5; illicit conjunction elimination occurs on Line 4 of the proof. Line 5 is a new assumption.

rzach commented 6 years ago

Thanks!