## First-order Logic: An IntroductionAn introduction to principles and notation of modern symbolic logic, for those with no prior courses. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll. Annotation copyrighted by Book News, Inc., Portland, OR |

### Contents

Introduction | 1 |

Principles of Inference | 11 |

Truth Tables and Truth Trees | 73 |

Evaluating Arguments | 110 |

Principles of Inference | 145 |

Truth Trees for Predicate Logic | 187 |

New Restrictions on the Rules | 229 |

### Common terms and phrases

Accordingly Albert Alice antecedent argument is valid biconditional chain rule claim clusion components compound conditional proof conditional statement conjunction consequent context deduction denial derive diagram dilemma discharged disjunction double flagging double negation duction establish everything example existentially quantified fallacy first-order logic formal George George Eliot gument Henry identical instance interchangeable introduced invalid argument Leibniz's law loves Mary ment Modus Ponens modus tollens NAND needed open branch open sentence pair PREM for CP PREM PREM premise principles of inference problem prove pseudoname pv q pv~p quantified statement Quentin raining reader reasoning reductio Reminders for Chapter rules of inference rules of passage scope SIMP someone spelling star step in proof subproof symbols tells theorem tion true truth table truth tree truth-functional truth-tree universally quantified variable of quantification