## A Primer of Formal Logic |

### What people are saying - Write a review

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

### Contents

Chapter | 3 |

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

Chapter | 23 |

Copyright | |

39 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 consequent Consistency containing contrapositive deduced defined definition eliminated equation equivalent example exemplified explained expression F F F F T F false follows formal forms of inference gism given hypothetical syllogisms identical immediate inference implies individual integers interchange introduced Jones letters logically valid mathematics ment method minor premise modus ponens natural numbers negation negative number system objects obtain omitted ordinary outplay p v g p v q pair Peano postulates phrase possible postulates predicate term predicate variables premises and conclusion principle properties proposition prove quantification symbols rational numbers real numbers reference formulas relation rule scheme of abbreviation someone standard form statement-form step syllogism term variables theorems tion true truth table universally quantified usually valid form valid statement word write written