Logic in elementary mathematics:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York (u.a.)
McGraw-Hill
1959
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 274 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002232197 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 890928s1959 |||| 00||| eng d | ||
| 035 | |a (OCoLC)265816138 | ||
| 035 | |a (DE-599)BVBBV002232197 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-20 |a DE-11 |a DE-188 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Exner, Robert M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic in elementary mathematics |c Robert M. Exner ; Myron F. Rosskopf* |
| 264 | 1 | |a New York (u.a.) |b McGraw-Hill |c 1959 | |
| 300 | |a XI, 274 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 700 | 1 | |a Rosskopf, Myron F. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001466944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001466944 | ||
Datensatz im Suchindex
| _version_ | 1804116687076720640 |
|---|---|
| adam_text | CONTENTS
Preface v
Glossary of Special Symbols and Abbreviations xi
I. Mathematics, Formal Logic, and Names 1
1.1. Mathematics and mathematicians 1
1.2. Form and meaning 4
1.3. Use and mention 9
1.4. Statements about statements 13
II. The Statement Calculus 17
2.1. Statements and statement forms 17
2.2. Negation 20
2.3. Conjunction 22
2.4. Disjunction 23
2.5. The conditional 26
2.6. Statement formulas 30
2.7. Equivalence 33
2.8. Valid statement formulas 35
2.9. Notational conventions 38
2.10. Replacement 41
2.11. Substitution 42
2.12. Some useful valid formulas 45
2.13. A collection of valid statement formulas 48
2.14. Rules of inference 49
2.15. Collection of inference rules 55
vii
viii CONTENTS
III. Proof and Demonstration 57
3.1. Basic form of indirect proof 57
3.2. Special cases of the basic form of indirect proof 61
3.3. Proof by elimination 63
3.4. Proof by cases 68
3.5. Converses 71
3.6. Conversion in classical logic 73
3.7. Inverses 76
3.8. Demonstration and proof 78
3.9. Trees 83
3.10. Abbreviated demonstrations as proofs 83
3.11. Deduction principle 88
3.12. Conventional proofs in geometry 91
3.13. Analysis of a conventional proof 94
IV. Abstract Mathematical Systems 100
4.1. Mathematical models 100
4.2. A miniature geometry 102
4.3. Interpretations 119
V. The Restricted Predicate Calculus 126
5.1. Statement functions 126
5.2. Universal quantifier 129
5.3. Existential quantifier 135
5.4. Transformations of quantifiers 137
5.5. Free and bound variables 139
5.6. Inference rules for quantified statements 141
5.7. Inference of a statement function from a general statement 142
5.8. Inference rules of the statement calculus extended 143
5.9. Extension of the notion of valid statement formula 144
5.10. The generalization principle 145
5.11. Inference of a statement function from an existential statement: IE • 150
5.12. Introduction of the existential quantifier 153
5.13. Use of the quantification inference rules 154
5.14. Statement functions of several variables 157
5.15. Extension of quantification inference rules 162
5.16. Final forms of the quantificational inference rules 165
5.17. Use of equality 166
5.18. Formal notion of equality 173
5.19. The scope of an assumption in a demonstration 177
VI. Applications of Logic in Mathematics 182
6.1. Introduction • 182
6.2. Abstract groups • 183
6.3. Isomorphie interpretations • 189
6.4. Abstract field system 197
6.5. Interpretations of the abstract system 200
6.6. Further development of the abstract field system 201
6.7. Types of informality in proofs 202
6.8. Solution of a linear equation 205
6.9. Further theorems in the abstract field system 209
CONTENTS ix
6.10. Solution of a quadratic equation 210
6.11. Subtraction and division 213
6.12. Solution of simultaneous linear equations 214
6.13. Negation vs. negative number 218
6.14. Ordered fields 220
6.15. Absolute value 227
6.16. Inequalities and absolute value 229
6.17. Applications to notions of limit 234
6.18. Restricted quantification 238
Appendix. Symbolic Treatment of the Miniature Geometry 243
Index 271
|
| any_adam_object | 1 |
| author | Exner, Robert M. Rosskopf, Myron F. |
| author_facet | Exner, Robert M. Rosskopf, Myron F. |
| author_role | aut aut |
| author_sort | Exner, Robert M. |
| author_variant | r m e rm rme m f r mf mfr |
| building | Verbundindex |
| bvnumber | BV002232197 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)265816138 (DE-599)BVBBV002232197 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01179nam a2200325 c 4500</leader><controlfield tag="001">BV002232197</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1959 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)265816138</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002232197</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Exner, Robert M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic in elementary mathematics</subfield><subfield code="c">Robert M. Exner ; Myron F. Rosskopf*</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York (u.a.)</subfield><subfield code="b">McGraw-Hill</subfield><subfield code="c">1959</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 274 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rosskopf, Myron F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001466944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001466944</subfield></datafield></record></collection> |
| id | DE-604.BV002232197 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:42:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001466944 |
| oclc_num | 265816138 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-20 DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-20 DE-11 DE-188 |
| physical | XI, 274 S. |
| publishDate | 1959 |
| publishDateSearch | 1959 |
| publishDateSort | 1959 |
| publisher | McGraw-Hill |
| record_format | marc |
| spelling | Exner, Robert M. Verfasser aut Logic in elementary mathematics Robert M. Exner ; Myron F. Rosskopf* New York (u.a.) McGraw-Hill 1959 XI, 274 S. txt rdacontent n rdamedia nc rdacarrier Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy Rosskopf, Myron F. Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001466944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Exner, Robert M. Rosskopf, Myron F. Logic in elementary mathematics Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy |
| title | Logic in elementary mathematics |
| title_auth | Logic in elementary mathematics |
| title_exact_search | Logic in elementary mathematics |
| title_full | Logic in elementary mathematics Robert M. Exner ; Myron F. Rosskopf* |
| title_fullStr | Logic in elementary mathematics Robert M. Exner ; Myron F. Rosskopf* |
| title_full_unstemmed | Logic in elementary mathematics Robert M. Exner ; Myron F. Rosskopf* |
| title_short | Logic in elementary mathematics |
| title_sort | logic in elementary mathematics |
| topic | Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy |
| topic_facet | Mathematik Philosophie Logic, Symbolic and mathematical Mathematics Philosophy |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001466944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT exnerrobertm logicinelementarymathematics AT rosskopfmyronf logicinelementarymathematics |