The Logic Book, Volume 1This text presents all techniques and concepts with clear, comprehensive explanations, and includes a wealth of carefully constructed examples. Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose. |
Contents
BASIC NOTIONS OF LOGIC | 1 |
SYMBOLIZATION | 18 |
SEMANTICS | 61 |
Copyright | |
10 other sections not shown
Common terms and phrases
abbreviates applied argument assume Assumption atomic sentence Chapter claim closed compatible compound conclusion conditional conjunction connectives consider consistent consistent in PD construct contains course decomposed Decomposition definition derivation determine disjunction Elimination English entails entered equivalent establish example EXERCISES expansion expressions false finite formula functionally given goal Hence holds inconsistent individual constant inductive Instantiation interpretation Introduction least Lemma letters logic loves method negation Note obtain occur paraphrase partial assignment person positive integers predicate premises proof prove quantificationally quantificationally consistent reasoning replaced result rules satisfaction assignment satisfies scope sentences of SL sentential set of sentences specified subderivation substitution instance Suppose symbolized thing tree true truth truth-functional truth-functionally truth-functionally true truth-table truth-tree truth-value assignment understands valid variable Vx)P