eBook - PDF

Logic as a Tool

A Guide to Formal Logical Reasoning

English
PDF
Available on iOS & Android

eBook - PDF

Logic as a Tool

A Guide to Formal Logical Reasoning

Book details

Table of contents

Citations

About This 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

Frequently asked questions

Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.

At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.

Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.

We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.

Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.

Yes, you can access Logic as a Tool by in PDF and/or ePUB format, as well as other popular books in Matematica & Logica nella matematica. We have over one million books available in our catalogue for you to explore.

Information

Publisher

Wiley

Year

2016

ISBN

9781118880050

Edition

Topic

Matematica

Subtopic

Logica nella matematica

Cover
Title Page
Copyright
Dedication
Contents
Preface
Acknowledgements
Introduction
An Appetizer: Logical Paradoxes and Self-Reference
Chapter 1 Understanding Propositional Logic
Chapter 2 Deductive Reasoning in Propositional Logic
Chapter 3 Understanding First-order Logic
Chapter 4 Deductive Reasoning in First-order Logic
Chapter 5 Applications: Mathematical Proofs and Automated Reasoning
Chapter 6 Answers and Solutions to Selected Exercises
References
Index
EULA