## A Primer of Formal Logic |

### What people are saying - Write a review

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

### Contents

Chapter One 1 Logical form | 3 |

and the relation of implication | 10 |

The construction of proofs by reference to valid forms of inference | 14 |

Copyright | |

49 other sections not shown

### Common terms and phrases

abbreviation alternation annotated antecedent argument assertion biconditional bound variables calculus Chapter classical logic commutative law conditional proof connection consequent Consistency containing contrapositive deduced defined definition distributive law eliminated equation equivalent example exemplified explained expression F F F F T F false follows formal forms of inference gism given hypothetical syllogisms identical implies individual integers interchange introduced Jones letters logically valid mathematics ment method minor premise modus ponens natural numbers negation negative number system objects obtained omitted ordinary outplay p v q pair Peano postulates phrase possible postulates predicate term predicate variables premises and conclusion principle proposition prove quantification symbols rational numbers real numbers reference formulas relation rule scheme of abbreviation someone standard form statement-form step substitution syllogism term variables theorem tion true truth table universally quantified usual valid form valid statement word write written