First course in mathematical logic

"This introduction to rigorous mathematical logic is simple enough in both presentation and context for students of a wide range of ages and abilities. Starting with symbolizing sentences and sentential connectives, it proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism." -- Publisher.

Originally published: Waltham, MA : Blaisdell Pub., [1964].

Includes index.

1. Symbolizing Sentences -- 1.1 Sentences -- 1.2 Sentential Connectives -- 1.3 The Form of Molecular Sentences -- 1.4 Symbolizing Sentences -- 1.5 The Sentential Connectives and Their Symbols -- Or Not If . . . then . . . -- 1.6 Grouping and Parentheses. The Negation of a Molecular Sentence -- 1.7 Elimination of Some Parentheses -- 1.8 Summary -- 2. Logical Inference -- 2.1 Introduction -- 2.2 Rules of Inference and Proof -- Modus Ponendo Ponens -- Proofs -- Two-Step Proofs -- Double Negation -- Modus Tollendo Tollens -- More on Negation -- Adjunction and Simplification -- Disjunctions as Premises -- Modus Tollendo Ponens -- 2.3 Sentential Derivation -- 2.4 More About Parentheses -- 2.5 Further Rules of Inference -- Law of Addition -- Law of Hypothetica Syllogism -- Law of Disjunctive Syllogism -- Law of Disjunctive Simplification -- Commutative Laws -- De Morgan's Laws -- 2.6 Biconditional Sentences -- 2.7 Summary of Rules of Inference. Table of Rules of Inference -- 3. Truth and Validity -- 3.1 Introduction -- 3.2 Truth Value and Truth-Functional Connectives -- Conjunction -- Negation -- Disjunction -- Conditional Sentences -- Equivalence: Biconditional Sentences -- 3.3 Diagrams…