## Methods of logic |

### What people are saying - Write a review

#### Review: Methods of Logic

User Review - Adam - GoodreadsA relatively clear presentation, with rigor approximately between that of a standard introductory text and van Dalen's Logic and Structure. Uses a notation largely abandoned today, which is ... Read full review

#### Review: Methods of Logic

User Review - Gavin Brown - GoodreadsVery useful text on formal logic. However, the notation is antiquated. That being said, Quine's text is still one of the clearest and most thorough introductions on the subject. He writes in a style ... Read full review

### Contents

Truth Functions 1 Negation Conjunction and Alternation | 1 |

Truth Functions | 7 |

The Conditional | 12 |

Copyright | |

42 other sections not shown

### Common terms and phrases

abstract affirm alternation antecedent becomes true biconditional Cerberus clause closed schema comes out true components compound conclusion conditional conjunction consistent construed decision procedure deduction DeMorgan's laws Diagram elementary number theory equivalent example existential quantification F are G false follows free variables Godel identity implies inconsistent inference interpret Fx interpretations of Fx irreflexivity ix)Fx Jones logic mathematics means method monadic negation nonempty universe notation objects occurrence open schemata open sentences ordinary language p v q preceding section predicate letters predicate-schema premisses purports to name quantification theory quantificational schemata result schematic letters sense sentence letters singular terms Socrates statements step-conditionals subjoin substitution syllogism theory of classes thing tion truth function truth value truth-functional schemata truth-value analysis uniform quantification universal closure universal instantiation universal quantification valid schemata words x)(Fx D Gx x)Fx D Fy