What people are saying - Write a review
We haven't found any reviews in the usual places.
Chapter One 1 Logical form
and the relation of implication
The construction of proofs by reference to valid forms of inference
49 other sections not shown
Other editions - View all
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