## 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 |

### What people are saying - Write a review

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

### 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 Alice antecedent argument branch chapter claim clear closed components conclusion conditional conjunction connective consequent context convey correct course deduction denial derive diagram discussion disjunction double equivalent establish everything example existential fallacy false flagged formal George given Henry identical inference instance interchangeable interesting introduced invalid least letter logic look loves Mary matter means ment method mother needed negation Note occur open sentence pair person play possible PREM premise principle problem proof prove pseudoname quantifiers question raining reader reasoning reference restriction rules scope sentence shown SIMP someone spelling star statement step structure symbols taken tells theorem true truth table truth tree turn universal valid variables