Essentials of symbolic logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London u.a.
Routledge
1988
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IV, 193 S. |
| ISBN: | 0415018706 0415018714 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001228474 | ||
| 003 | DE-604 | ||
| 005 | 20150212 | ||
| 007 | t | ||
| 008 | 890315s1988 |||| 00||| eng d | ||
| 020 | |a 0415018706 |9 0-415-01870-6 | ||
| 020 | |a 0415018714 |9 0-415-01871-4 | ||
| 035 | |a (OCoLC)242641291 | ||
| 035 | |a (DE-599)BVBBV001228474 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-12 |a DE-29 |a DE-M468 |a DE-703 |a DE-739 |a DE-188 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Simpson, R. L. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Essentials of symbolic logic |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a London u.a. |b Routledge |c 1988 | |
| 300 | |a IV, 193 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=000739825&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000739825 | ||
Record in the Search Index
| _version_ | 1804115622904201216 |
|---|---|
| adam_text | Contents
CHAPTER ONE INTRODUCTION
1.1 The Aims of this Book 1
1.2 Primarily for the Student 3
1.3 Primarily for the Instructor 4
CHAPTER TWO SENTENCE LOGIC
2.1 The Fundamentals 6
2.2 Truth Functions 7
2.3 Sentence Letters and Symbols 8
2.4 Metalanguage 9
2.5 Simple Translation: Negation 10
2.6 Simple Translation: Conjunction 12
2.7 Simple Translation: Disjunction 14
2.8 Simple Translation: The Horseshoe 15
2.9 Simple Translation: The Triplebar 16
2.10 Translating Complicated Sentences 18
2.11 Exercises 20
2.12 Defining the Connectives 22
2.13 Truth Tables 25
2.14 Exercises 28
2.15 Types of Formulas 29
2.16 Truth Functional Equivalences 31
2.17 Exercises 34
2.18 Arguments 35
2.19 Exercises 39
2.20 Translating Arguments 41
2.21 Exercises 45
CONTENTS i
ESSENTIALS OF SYMBOLIC LOGIC
CHAPTER THREE DERIVATIONS IN SENTENCE LOGIC
3.1 What a Derivation Is 47
3.2 Conjunction Introduction 49
3.3 Conjunction Elimination 51
3.4 Negation Elimination 52
3.5 Disjunction Introduction 54
3.6 Horseshoe Elimination 55
3.7 Triplebar Elimination 57
3.8 Exercises 58
3.9 Constructing Derivations 59
3.10 Exercises 71
3.11 Assumptions 72
3.12 Reiteration 74
3.13 Horseshoe Introduction 76
3.14 Triplebar Introduction 78
3.15 Negation Introduction 81
3.16 Disjunction Elimination 83
3.17 Exercises 86
3.18 More Derivation Construction 88
3.19 Exercises 100
3.20 Indirect Proof 101
3.21 Exercises 110
3.22 Categorical Derivations Ill
3.23 Exercises 115
CHAPTER FOUR PREDICATE LOGIC
4.1 Individuals and Predicates 116
4.2 One Place and Multi Place Predicates 118
4.3 Choices in Translation 120
4.4 Exercises 121
4.5 The Existential Quantifier 122
4.6 The Universal Quantifier 124
4.7 Using Both Quantifiers 124
4.8 Exercises 127
4.9 Identity 128
4.10 More Translation 131
4.11 Exercises 135
4.12 Arguments in Predicate Logic 136
4.13 Exercises 138
4.14 Simple Interpretations 139
4.15 Exercises 146
ESSENTIALS OF SYMBOLIC LOGIC
CHAPTER FIVE DERIVATIONS IN PREDICATE LOGIC
5.1 Existential Quantifier Introduction 148
5.2 Universal Quantifier Elimination 151
5.3 Existential Quantifier Elimination 153
5.4 Universal Quantifier Introduction 156
5.5 Identity Introduction 159
5.6 Identity Elimination 160
5.7 Exercises 160
5.8 Derivation Strategies 162
5.9 Exercises 173
5.10 More Derivation Strategies 174
5.11 Exercises 186
5.12 Categorical Derivations in Predicate Logic 188
5.13 Exercises 190
INDEX
Index of Terms 191
|
| any_adam_object | 1 |
| author | Simpson, R. L. |
| author_facet | Simpson, R. L. |
| author_role | aut |
| author_sort | Simpson, R. L. |
| author_variant | r l s rl rls |
| building | Verbundindex |
| bvnumber | BV001228474 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)242641291 (DE-599)BVBBV001228474 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01373nam a2200385 c 4500</leader><controlfield tag="001">BV001228474</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150212 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890315s1988 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415018706</subfield><subfield code="9">0-415-01870-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415018714</subfield><subfield code="9">0-415-01871-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)242641291</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001228474</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-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Simpson, R. L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essentials of symbolic logic</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Routledge</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 193 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="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=000739825&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-000739825</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV001228474 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:25:33Z |
| institution | BVB |
| isbn | 0415018706 0415018714 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000739825 |
| oclc_num | 242641291 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-12 DE-29 DE-M468 DE-703 DE-739 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-12 DE-29 DE-M468 DE-703 DE-739 DE-188 |
| physical | IV, 193 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Routledge |
| record_format | marc |
| spelling | Simpson, R. L. Verfasser aut Essentials of symbolic logic 1. publ. London u.a. Routledge 1988 IV, 193 S. txt rdacontent n rdamedia nc rdacarrier Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000739825&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Simpson, R. L. Essentials of symbolic logic Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Essentials of symbolic logic |
| title_auth | Essentials of symbolic logic |
| title_exact_search | Essentials of symbolic logic |
| title_full | Essentials of symbolic logic |
| title_fullStr | Essentials of symbolic logic |
| title_full_unstemmed | Essentials of symbolic logic |
| title_short | Essentials of symbolic logic |
| title_sort | essentials of symbolic logic |
| topic | Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000739825&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT simpsonrl essentialsofsymboliclogic |