Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs. This text makes this often confounding topic much more accessible with step-by-step example proofs, chapter glossaries of key terms, hundreds of homework problems and solutions for practice, and suggested further readings.
Features & details
Used Book in Good Condition
EAN: 9781442217423
ISBN: 1442217421
Manufacturer: Rowman & Littlefield Publishers
Brand: Brand: Rowman Littlefield Publishers
We hope you love the products we recommend! All of products are independently selected by deal-dx editors. Just to let you know, deal-dx may collect a share of sales or other compensation from the links on this page if you decide to shop from them. As an Amazon Associate we earn from qualifying purchases. Prices are accurate and items in stock as of time of publication.
This website uses cookies for the correct display and functionality. Do you also want to take full advantage of the website and accept cookies? About cookies. Accept cookies
