Bergmann, MerrieMoor, JamesNelson, Jack2024-09-172024-09-172014978-0-07-803841-9http://hdl.handle.net/20.500.14346/2368This is a text in deductive logic—more specifi cally, in formal or symbolic deductive logic. Chapters 1–5 are devoted to sentential logic, the branch of symbolic deductive logic that takes sentences as the fundamental units of logical analysis. Chapters 7–10 are devoted to predicate logic, the branch of symbolic deductive logic that takes predicates and individual terms as the fundamental units of logical analysis. Chapter 6 is devoted to the metatheory of sentential logic, while Chapter 11 is devoted to the metatheory of predicate logic. The hallmark of deductive logic is truth-preservation. Reasoning that is acceptable by the standards of deductive logic is always truth-preserving; that is, it never takes one from truths to a falsehood. The following syllogism provides an example of such reasoning:enSyntax and symbolizationSentential logicPredicates, singular terms, and quantity expressions of englishKitab