登入
選單
返回
Google圖書搜尋
Introductory Logic
Robert J. Levy
出版
University Press of America
, 1984
主題
Mathematics / Logic
Philosophy / Logic
ISBN
0819141798
9780819141798
URL
http://books.google.com.hk/books?id=FM8eAQAAMAAJ&hl=&source=gbs_api
註釋
This non-technical, easy-to-read introduction to symbolic logic discusses truth-functional and predicate logic in a simple and concise manner. Emphasizes indirect proof of an especially simple form, while avoiding entirely conditional proof. Proof construction (both direct and indirect) is taught by using: (I) finished proofs; (II) partially completed proofs in which the students are to supply missing justifications for lines of proof; and (III) partially completed proofs in which the students are to supply the missing lines of proof, given their justifications. The difficult topic of symbolization of sentences is presented in a quasi-mechanical way which stresses the recognition of standard form expressions.