IFL2 Chapters 18 to 20: Propositional truth trees

Back then to the excitements of the second edition of An Introduction to Formal Logic. I have been revising the revisions of the chapters on propositional trees. I’ve streamlined the presentation, and some material is relegated to an online Appendix (yet to come). So there are now three short chapters, just 26 pages plus 3 pages of Exercises (also yet to come), as opposed to four chapters and 39 pages in the first edition. I do hope the result is still a very clear introduction to the truth-tree method.

All comments and/or corrections (either here or to the email address in the watermarked header) are as always most welcome.

[Added: I should say that tree-rules for biconditionals and examples with biconditionals are a topic for the planned end-of-chapter Exercises.]

The post IFL2 Chapters 18 to 20: Propositional truth trees appeared first on Logic Matters.