From the Preface: "What is attempted here is an explanation of the workings of formal logic (categorical logic and truth functional logic) in a "how-to" way. My explanations are perhaps short on theoretical background or references, but my belief is that introductory students are better served by learning how to do formal logic before entertaining what theoretical conundrums there are at this level of analysis. For example, I do little with the idea of causal relationships or contrary-to-fact conditionals when explaining conditional truth functional statements. Each instructor can introduce these subtleties as he or she sees fit. Similarly, categorical logic is explained in a straightforward manner, and although I make very brief allusions to Aristotle, there is little in-depth investigation of the intricacies involved in developing this traditional branch of logic. I say nothing about translating idiomatic or colloquial expressions into standard categorical form. Those who prefer categorical logic and feel it is essential to an introductory level course will find that chapter lacking. My recommendation is to supplement it as necessary. For my part, I find that learning the simple square of opposition, the operations, and Venn diagrams and the rules of validity for syllogisms are sufficient. Perhaps in the future I may add more. Again, each instructor may supplement as they see fit.