A Beginner's Guide to Mathematical LogicCourier Corporation, 2014 M07 23 - 288 páginas Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2014 edition. |
Otras ediciones - Ver todas
Términos y frases comunes
abbreviate axiom schemes axiom system branch called Chapter closed tableau club completed tableau consider definable Define disjoint domain Elementary Arithmetic elementary formal system elements Elex expression false finite subset first First-Order Arithmetic First-Order Logic fixed point formula F Gödel Godel number hence Hintikka set holds Hypothesis I—X D inference rules infinite intuitionist logic l—X D logical connectives logically equivalent matching parentheses mathematical induction mathematical logic modus ponens natural numbers omega consistent p v q parameter Peano Arithmetic point of P(x positive integers predicate Problem proof Propositional Logic provable in 81 prove q is equivalent q is true refutable relation R(x satisfiable signed formula simply consistent starters strongly separable successor Suppose symbols tautologically implied tautology term Theorem truth table truth value undecidable sentence unsigned valid Vx(Px X D Y Y D Z