(0) items

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Introduction to Logic Propositional Logic, Revised Edition



Pub. Date:
List Price: $62.20

Rent Textbook


Buy Used Textbook

In Stock Usually Ships in 24-48 Hours

Buy New Textbook

Currently Available, Usually Ships in 24-48 Hours


We're Sorry
Not Available

More New and Used
from Private Sellers
Starting at $25.20

Questions About This Book?

Why should I rent this book?

Renting is easy, fast, and cheap! Renting from can save you hundreds of dollars compared to the cost of new or used books each semester. At the end of the semester, simply ship the book back to us with a free UPS shipping label! No need to worry about selling it back.

How do rental returns work?

Returning books is as easy as possible. As your rental due date approaches, we will email you several courtesy reminders. When you are ready to return, you can print a free UPS shipping label from our website at any time. Then, just return the book to your UPS driver or any staffed UPS location. You can even use the same box we shipped it in!

What version or edition is this?

This is the 3rd edition with a publication date of 10/27/1999.

What is included with this book?

  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
  • The Used copy of this book is not guaranteed to include any supplemental materials. Typically, only the book itself is included.
  • The Rental copy of this book is not guaranteed to include any supplemental materials. You may receive a brand new copy, but typically, only the book itself.

  • Introduction to Logic : Propositional Logic
    Introduction to Logic : Propositional Logic


Designed to make logic interesting and accessible--without sacrificing content or rigor --this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. An accompanying computer tutorial program, PropLogic, is available on CD-ROM in two versions: one version can be installed and run off a hard drive; one (identical) "portable" version can be run off the CD-ROM itself (allowing students/instructors flexibility on when/where they use the program). An appendix in the text describes program details. Tutors readers on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Content organized around natural-deduction formal-proof procedures, truth tables, and truth trees. Gradual presentation of logical statement connectives. Shows students how to symbolize sentences containing the connective and how to use proof rules involving that connectivebefore introducing additional connectives. Examples of actual arguments similar to those readers encounter, and to which they can readily relate. Draws examples and exercises from newspapers, magazines, television, books, textbooks, term papers, posters, comic strips, television programs, films, records, and conversations. Increases students' awareness of the arguments they read and hear every day. Extensive exercise sets throughout provide solutions to about one-quarter of the exercises (in an appendix). Provides ample opportunities for assignments and practice.

Table of Contents

1. Logic.
Introduction. Key Terms. Exercises.

2. If.
Compound Statements. Symbolizing Conditionals. Arrow Out. Exercises.

3. And.
Symbolizing Conjunctions. Ampersand In. Ampersand Out. Exercises.

4. If (Again).
Symbolizing Puzzling Conditionals. Arrow In. Exercises.

5. Not.
Symbolizing Negations. Dash In. Dash Out. Exercises.

6. Iff.
Symbolizing Biconditionals. Double Arrow In and Out. Exercises.

7. Or.
Symbolizing Disjunctions. Wedge In. Wedge Out. Exercises.

8. Résumé.
Summary. Proof Strategy. Definitions. Exercises.

9. Derived Rules.
Derived Rules 1. Exercises. Derived Rules 2. Exercises.

10. Truth Tables.
Full Truth Tables. Exercises. Brief Truth Tables. Exercises.

11. Truth Trees.
Constructing Trees. Testing Arguments. Exercises.

12. Statements.
Logical Truths. Contradictions. Contingent Statements. Exercises.

13. Logical Relations.
Entailment. Logical Equivalence. Exercises.

14. Natural Arguments.
Argument Identification. Formalization. Evaluation. Exercises.

Appendix 1. Metatheory: Soundness and Completeness of the System PL.
Appendix 2. Is Propositional Logic Reliable?
Appendix 3. Alternative Symbols.
Appendix 4. One-Sided Truth Trees.
Appendix 5. Using Proplogic.
Appendix 6. Solutions to Starred Exercises.
Proof Rules.
Truth-Tree Rules.
License Agreement.

Please wait while the item is added to your cart...