登入選單
返回Google圖書搜尋
An Introduction to Formal Logic: Second Edition
Epstein Richard L
出版Advanced Reasoning Forum, 2020-07-03
主題Philosophy / LogicMathematics / Logic
ISBN19384215319781938421532
URLhttp://books.google.com.hk/books?id=oarvDwAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋• Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study. • Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Summaries are given at important junctures in the book to keep students aware of what they are doing and where they are going. • Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format. • More than 300 worked examples. • More than 500 exercises with answers available on the web.