Introduction to Elementary Mathematical Logic

✍ Scribed by Abram Aronovich Stolyar

Publisher: Dover Publications
Year: 1983
Tongue: English
Leaves: 226
Series: Dover books on Advance Mathematics
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. Accessible to high school students, it also constitutes a valuable review of fundamentals for professionals.

✦ Table of Contents

Author's Preface
Contents
INTRODUCTION
1 PROPOSITIONAL LOGIC
1 OBJECTS AND OPERATIONS
2 FORMULAS. EQUIVALENT FORMULAS. TAUTOLOGIES
3 EXAMPLES OF THE APPLICATION OF THE LAWS OF THE LOGIC OF PROPOSITIONS IN DERIVATIONS
4 NORMAL FORMS OF FUNCTIONS. MINIMAL FORMS
5 APPLICATION OF THE ALGEBRA OF PROPOSITIONS TO THE SYNTHESIS AND ANALYSIS OF DISCRETE-ACTION NETWORKS
2 THE PROPOSITIONAL CALCULUS
1 THE AXIOMATIC METHOD. THE CONSTRUCTION OF FORMALIZED LANGUAGES
2 CONSTRUCTION OF A PROPOSITIONAL CALCULUS (ALPHABET, FORMULAS, DERIVED FORMULAS)
3 CONSISTENCY, INDEPENDENCE, AND COMPLETENESS OF A SYSTEM OF AXIOMS IN THE PROPOSITIONAL CALCULUS
3 PREDICATE LOGIC
1 SETS. OPERATIONS ON SETS
2 THE INADEQUACY OF PROPOSITIONAL LOGIC. PREDICATES
3 OPERATIONS ON PREDICATES. QUANTIFIERS
4 FORMULAS OF PREDICATE LOGIC. EQUIVALENT FORMULAS. UNIVERSALLY VALID FORMULAS
5 TRADITIONAL LOGIC (THE LOGIC OF ONE-PLACE PREDICATES)
6 PREDICATE LOGIC WITH EQUALITY. AXIOMATIC CONSTRUCTION OF MATHEMATICAL THEORIES IN THE LANGUAGE Of PREDICATE LOGIC WITH EQUALITY
APPENDIXES
I A PROOF OF THE DUALITY PRINCIPLE FOR PROPOSITIONAL LOGIC
II A PROOF OF THE DEDUCTION THEOREM FOR THE PROPOSITIONAL CALCULUS
III A PROOF OF THE COMPLETENESS THEOREM FOR THE PROPOSITIONAL CALCULUS
BIBLIOGRAPHY
INDEX OF SPECIAL SYMBOLS
INDEX

📜 SIMILAR VOLUMES

Logic: An Introduction to Elementary Log

📁 Logic: An Introduction to Elementary Logic

✍ Wilfrid Hodges 📂 Library 📅 1977 🏛 Penguin 🌐 English

<div>If a man supports Arsenal one day and Spurs the next, then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who ar

Logic: An Introduction to Elementary Log

📁 Logic: An Introduction to Elementary Logic

✍ Wilfrid Hodges 📂 Library 📅 2001 🏛 Penguin 🌐 English

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more

Logic: [an introduction to elementary lo

📁 Logic: [an introduction to elementary logic]

✍ Hodges, Wilfrid 📂 Library 📅 1977 🏛 Penguin 🌐 English

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Elliott Mendelson 📂 Library 📅 1979 🏛 Book World Promotions 🌐 English

Late in August, the text originally selected for my mathematical logic class became unavailable. On the basis of reviews only, I chose Mendelson's Introduction to Mathematical Logic as the replacement. A disasterous choice. There may be a page without a typo, but I don't expect to find it. The prese

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Alonzo Church 📂 Library 📅 1956 🏛 Princeton University Press 🌐 English

Introduction to Mathematical Logic

📁 Introduction to Mathematical Logic

✍ Dr. Hans Hermes (auth.) 📂 Library 📅 1973 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic be