Rewrite sketch of soundness in prooftfl

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

Rewrite sketch of soundness in prooftfl #66

Closed rzach closed 1 year ago

rzach commented 1 year ago

The sketch of the soundness proof at the end of Ch 21 is confusing and not quite correct. Rewrite it or take it out (since we have the complete soundness proof).