## An introduction to deductive logic |

### What people are saying - Write a review

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

### Contents

Entailment | 19 |

Categorical propositions | 139 |

Other notations | 158 |

Copyright | |

1 other sections not shown

### Other editions - View all

### Common terms and phrases

antecedent appear apply assertion Axfx axiom schema borrowing Brutus killed Caesar categorical propositions claim concepts conditional propositions cp's deductive system defined derived rule discussion elimination rules entailment equivalent by definition example existential quantifier expressions fact follows formation rules formulas free occurrences given HP(AE HP(CI HP(EI HP(NI hypothesis inductive inferability relationships introduced Introduction and Elimination involving Iseminger 21 kind knowledge-claims logical constants logical truth logician major premise metavariables modal mortal name variable natural deduction negation notion occur paraphrased philosophical possible predicate calculus predicate stand-ins proposition stand-ins propositional calculus propositional connective propositional logic provable prove quasi-proof question Quine 37 reader regard replacing represent the forms sense sentence-types sentences simply Socrates square of opposition step subordinate proof syllogism syllogistic forms symbols theorems things tions truth table truth-functional truth-values ttt's universal quantifier valid wff's