## Introduction to Logic: Propositional LogicDesigned 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. Organizes content around natural-deduction formal-proof procedures, truth tables, and truth trees. Also presents logical statement connectives gradually, one per chapter, and finally, increases readers' awareness of the arguments they read and hear every day by providing examples of actual arguments to which they can readily relate. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

Introduction to Logic: Propositional Logic Howard Pospesel,William G. Lycan No preview available - 2000 |

### Common terms and phrases

abbreviations acoustic neuroma affirming the consequent Ampersand antecedent apply argument is valid argument-form Arrow In Rule biconditional brief truth table brief-truth-table CHALLENGE chapter consequent construct a proof contingent deductive depends derived rule Double Arrow employed entails F2 entry establish example F F F F F T F F2 entails formal proof formula goal assignment goal line guide column Hence inference rules Instructions for exercises invalid Jane Fonda justification logical truth logically equivalent logician lt follows meaning ment Miami modus ponens Modus Tollens Nancy leaves natural arguments negation Newspaper Norman Mailer pattern philosopher premise lines principle propositional logic prove provisional assumption rule of inference sentence standard contradiction statement connective statement is logically strategy subproof substitution instance T F F T T F Ted Kennedy Tilde tion true premise truth table truth-values tumor University of Miami valid argument vice versa Wedge