@benjamin.martin Any part that you think might be useful can be used for the textbook. I have material that could be a part of any of your proposed chapter, except, I suppose, the one on necessary and sufficient conditions.

The main challenge I see is the word-limits. For example, my chapter 4 covers the basics of sentential logic–syntax, truth-functional semantics, translation, truth-table test for validity–and it comes in at about 16,000 words. I’m not sure how one gets that down to 3,000. If the goal is to get the student to the point of understanding how this logic can identify formal fallacies, that means truth tables; and to get to those, a whole lot of preliminary work has to be done.