Home > Mathematics and Science Textbooks > Mathematics > Logic as a Tool: A Guide to Formal Logical Reasoning
Logic as a Tool: A Guide to Formal Logical Reasoning

Logic as a Tool: A Guide to Formal Logical Reasoning

          
5
4
3
2
1

Available


Premium quality
Premium quality
Bookswagon upholds the quality by delivering untarnished books. Quality, services and satisfaction are everything for us!
Easy Return
Easy return
Not satisfied with this product! Keep it in original condition and packaging to avail easy return policy.
Certified product
Certified product
First impression is the last impression! Address the book’s certification page, ISBN, publisher’s name, copyright page and print quality.
Secure Checkout
Secure checkout
Security at its finest! Login, browse, purchase and pay, every step is safe and secured.
Money back guarantee
Money-back guarantee:
It’s all about customers! For any kind of bad experience with the product, get your actual amount back after returning the product.
On time delivery
On-time delivery
At your doorstep on time! Get this book delivered without any delay.
Quantity:
Add to Wishlist

About the Book

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language. It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level,  and provides the reader with technical skills needed for practical derivations in them.  Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples Emphasis both on conceptual understanding and on developing practical skills Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic Includes extensive sets of exercises, many of them provided with solutions or answers Supplemented by a website including detailed slides, additional exercises and solutions For more information browse the book's website at: https://logicasatool.wordpress.com

Table of Contents:
Preface xi Acknowledgements xv Introduction xvii An Appetizer: Logical Paradoxes and Self-Reference xxi 1 Understanding Propositional Logic 1 1.1 Propositions and logical connectives: truth tables and tautologies 1 1.1.1 Propositions 1 1.1.2 Propositional logical connectives 2 1.1.3 Truth tables 3 1.1.4 The meaning of the connectives in natural language and in logic 4 1.1.5 Computing truth values of propositions 5 1.1.6 Propositional formulae and their truth tables 6 1.1.7 Tautologies 11 1.2 Propositional logical consequence: logically correct inferences 18 1.2.1 Propositional logical consequence 18 1.2.2 Logically sound rules of propositional inference and logically correct propositional arguments 21 1.2.3 Fallacies of the implication 23 1.3 Logical equivalence: negation normal form of propositional formulae 28 1.3.1 Logically equivalent propositional formulae 28 1.3.2 Basic properties of logical equivalence 29 1.3.3 Some important logical equivalences 29 1.4 Supplementary: Inductive definitions and structural induction and recursion 34 1.4.1 Inductive definitions 34 1.4.2 Induction principles and proofs by induction 36 1.4.3 Basics of the general theory of inductive definitions and principles 37 1.4.4 Inductive definitions and proofs in well-founded sets 39 1.4.5 Recursive definitions on inductively definable sets 40 2 Deductive Reasoning in Propositional Logic 47 2.1 Deductive systems: an overview 47 2.1.1 The concept and purpose of deductive systems 47 2.1.2 Brief historical remarks on deductive systems 48 2.1.3 Soundness, completeness and adequacy of deductive systems 50 2.2 Axiomatic systems for propositional logic 52 2.2.1 Description 52 2.2.2 Derivations in the axiomatic system H 54 2.3 Semantic Tableaux 58 2.3.1 Description of the deductive system ST of Semantic Tableaux 59 2.3.2 Some derivations in ST 61 2.3.3 Unsigned version of the system of Semantic Tableaux 64 2.4 Natural Deduction 68 2.4.1 Description 69 2.4.2 Examples of derivations in Natural Deduction 71 2.5 Normal forms and Propositional Resolution 77 2.5.1 Conjunctive and disjunctive normal forms of propositional formulae 77 2.5.2 Clausal Resolution 79 2.5.3 Resolution-based derivations 80 2.5.4 Optimizing the method of resolution 82 2.6 Supplementary: The Boolean satisfiability problem and NP-completeness 86 2.7 Supplementary: Completeness of the propositional deductive systems 88 3 Understanding First-order Logic 96 3.1 First-order structures and languages: terms and formulae of first-order logic 97 3.1.1 First-order structures 97 3.1.2 First-order languages 99 3.1.3 Terms and formulae 100 3.2 Semantics of first-order logic 108 3.2.1 The semantics of first-order logic: an informal outline 108 3.2.2 Interpretations of first-order languages 111 3.2.3 Variable assignment and evaluation of terms 112 3.2.4 Truth of first-order formulae 112 3.2.5 Evaluation games 114 3.2.6 Translating first-order formulae to natural language 117 3.3 Basic grammar and use of first-order languages 123 3.3.1 Translation from natural language to first-order languages: warm-up 123 3.3.2 Restricted quantification 124 3.3.3 Free and bound variables, and scope of a quantifier 125 3.3.4 Renaming of a bound variable in a formula and clean formulae 127 3.3.5 Substitution of a term for a variable in a formula, and capture of a variable 128 3.3.6 A note on renamings and substitutions in a formula 130 3.4 Logical validity, consequence, and equivalence in first-order logic 135 3.4.1 More on truth of sentences in structures: models and counter-models 135 3.4.2 Satisfiability and validity of first-order formulae 136 3.4.3 Logical consequence in first-order logic 137 3.4.4 Using equality in first-order logic 140 3.4.5 Logical equivalence in first-order logic 142 3.4.6 Logical equivalences involving quantifiers 143 3.4.7 Negating first-order formulae: negation normal form 144 3.5 Syllogisms 151 4 Deductive Reasoning in First-order Logic 159 4.1 Axiomatic system for first-order logic 160 4.1.1 Axioms and rules for the quantifiers 160 4.1.2 Derivations from a set of assumptions 160 4.1.3 Extension of the axiomatic system H with equality 161 4.2 Semantic Tableaux for first-order logic 167 4.2.1 Some derivations in Semantic Tableaux 168 4.2.2 Semantic Tableaux for first-order logic with equality 171 4.2.3 Discussion on the quantifier rules and on termination 173 4.3 Natural Deduction for first-order logic 180 4.3.1 Natural Deduction rules for the quantifiers 180 4.3.2 Derivations in first-order Natural Deduction 181 4.3.3 Natural Deduction for first-order logic with equality 183 4.4 Prenex and clausal normal forms 187 4.4.1 Prenex normal forms 187 4.4.2 Skolemization 189 4.4.3 Clausal forms 190 4.5 Resolution for first-order logic 194 4.5.1 Propositional Resolution rule in first-order logic 194 4.5.2 Substitutions of terms for variables revisited 195 4.5.3 Unification of terms 196 4.5.4 Resolution with unification in first-order logic 197 4.5.5 Examples of resolution-based derivations 199 4.5.6 Resolution for first-order logic with equality 201 4.5.7 Optimizations and strategies for the method of Resolution 202 4.6 Supplementary: Soundness and completeness of the deductive systems for first-order logic 210 4.6.1 First-order theories 211 4.6.2 Soundness 212 4.6.3 Herbrand structures and interpretations 212 4.6.4 Henkin theories and Henkin extensions 214 4.6.5 Completeness theorem 217 4.6.6 Semantic compactness of first-order logic 217 5 Applications: Mathematical Proofs and Automated Reasoning 222 5.1 Logical reasoning and mathematical proofs 223 5.1.1 Proof strategies: direct and indirect proofs 223 5.1.2 Tactics for logical reasoning 227 5.2 Logical reasoning on sets, functions, and relations 231 5.2.1 Zermelo–Fraenkel axiomatic theory of sets 231 5.2.2 Basic operations on sets and their properties 234 5.2.3 Functions 236 5.2.4 Binary relations and operations on them 237 5.2.5 Special binary relations 239 5.2.6 Ordered sets 240 5.3 Mathematical Induction and Peano Arithmetic 246 5.3.1 Mathematical Induction 247 5.3.2 Peano Arithmetic 250 5.4 Applications: automated reasoning and logic programming 254 5.4.1 Automated reasoning and automated theorem proving 254 5.4.2 Logic programming and Prolog 255 6 Answers and Solutions to Selected Exercises 263 Answers and solutions: Section 1.1 263 Answers and solutions: Section 1.2 266 Answers and solutions: Section 1.3 268 Answers and solutions: Section 1.4 270 Answers and solutions: Section 2.2 270 Answers and solutions: Section 2.3 272 Answers and solutions: Section 2.4 281 Answers and solutions: Section 2.5 287 Answers and solutions: Section 3.1 293 Answers and solutions: Section 3.2 296 Answers and solutions: Section 3.3 297 Answers and solutions: Section 3.4 299 Answers and solutions: Section 3.5 305 Answers and solutions: Section 4.1 306 Answers and solutions: Section 4.2 308 Answers and solutions: Section 4.3 325 Answers and solutions: Section 4.4 328 Answers and solutions: Section 4.5 329 Answers and solutions: Section 4.6 338 Answers and solutions: Section 5.1 339 Answers and solutions: Section 5.2 339 Answers and solutions: Section 5.3 344 Answers and solutions: Section 5.4 347 References 348 Index 351


Best Sellers


Product Details
  • ISBN-13: 9781118880005
  • Publisher: John Wiley & Sons Inc
  • Publisher Imprint: John Wiley & Sons Inc
  • Depth: 25
  • Language: English
  • Returnable: N
  • Sub Title: A Guide to Formal Logical Reasoning
  • Width: 175 mm
  • ISBN-10: 1118880005
  • Publisher Date: 21 Oct 2016
  • Binding: Hardback
  • Height: 246 mm
  • No of Pages: 384
  • Spine Width: 25 mm
  • Weight: 680 gr


Similar Products

How would you rate your experience shopping for books on Bookswagon?

Add Photo
Add Photo

Customer Reviews

REVIEWS           
Click Here To Be The First to Review this Product
Logic as a Tool: A Guide to Formal Logical Reasoning
John Wiley & Sons Inc -
Logic as a Tool: A Guide to Formal Logical Reasoning
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Logic as a Tool: A Guide to Formal Logical Reasoning

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book
    Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals


    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!
    ASK VIDYA