search

jonathanichikawa / for-all-x

Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
Creative Commons Attribution 4.0 International
16 stars 5 forks source link

content: explanation of soundness #10

Closed jonathanichikawa closed 5 years ago

jonathanichikawa commented 5 years ago

Paul Bartha pointed out to me that it would be helpful to make explicit, in the soundness proofs for trees, that the assumption is the satisfiability of the sentence of each form along with some set gamma. This will make the reasoning of the proof clearer. I agree. I should add that in the two metalogic chapters.

jonathanichikawa commented 5 years ago

Looking over the text, I think this is sufficiently clear already.