product iamge

Symbolic Logic: An Introduction

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Richmond H. Thomason
Publisher: Macmillan
Year: 1970

Language: English
Pages: 382

Preface
I. Uninterpreted Syntax of a Logical System
Exercises・Problems
Ans. 1,5(a)
Ans. 5(c)-(e)
Ans.13-19
II. Implication and Negation: Informal Semantics
Exercises
Ans. 1
III. Implication Logic: Natural Deduction Techniques
Exercises
Problems
Ans. 1
Ans. 2
IV. Sentence Logic: Informal Semantics and Natural Deduction Techniques
Exercises
Problems
Ans. 1
Ans. 2
Ans. 3
Ans. 4
V. Sentence Logic: Syntax
Exercises
Problems
Ans. 1-8
Ans. 10,12
Ans. 13
VI. Sentence Logic: Semantics
Exercises
Problems
Ans. 1
Ans. 2-8
Ans. 10,11
VII. Sentence Logic: Semantic Completeness
Exercises
Problems
Ans. 1-9
Ans. 16
VIII. Predicate Logic with Identity: Notation and Informal Semantics
Exercises
Problems
Ans. 1-2(j)
Ans. 2(k)-(z)
Ans. 3
IX. Predicate Logic with Identity: Natural Deduction Techniques
Exercises
Problems
Ans. 1,2
Ans. 3
Ans. 4
X. Predicate Logic with Identity: Syntax
Exercises
Problems
Ans. 1(a)
Ans. 1(d),(f)
Ans. 2
Ans. 3,4
XI. Predicate Logic with Identity: Semantics
Exercises
Problems
Ans. 1
Ans. 2-6
Ans. 7-13
XII. Predicate Logic with Identity: Semantic Completeness
Exercises
Problems
Ans. 1-2
Ans. 3-5
XIII. Informal Set Theory
Exercises
Problems
Ans. 1-3
Ans. 5
XIV. Mathematical Induction
Exercises
Problems
Ans. 1,2
Ans. 3,4
Ans. 8
Bibliography
General and miscellaneous works
History of logic
Philosophical logic
Set theory
Index of Symbols
Solutions to Selected Exercises
Index
ABC
DE
FGHILMN
OPQRS
TUVW