Logic With Added Reasoning
Author | : Michael Gabbay |
Publisher | : Broadview Press |
Total Pages | : 228 |
Release | : 2002-09-04 |
ISBN-10 | : 1551114054 |
ISBN-13 | : 9781551114057 |
Rating | : 4/5 (057 Downloads) |
Book Synopsis Logic With Added Reasoning by : Michael Gabbay
Download or read book Logic With Added Reasoning written by Michael Gabbay and published by Broadview Press. This book was released on 2002-09-04 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: This concise text treats logic as a tool, “generated so that half the work involved in thinking is done for you by somebody else (the rules and laws of the logic).” Gabbay explains in a clear and careful manner how formal features of, and formal relations between, ordinary declarative sentences are captured by the systems of propositional and predicate logic.