## Symbolic LogicFor courses in Formal Logic. The general approach of this book to logic remains the same as in earlier editions. Following Aristotle, we regard logic from two different points of view: on the one hand, logic is an instrument or organon for appraising the correctness of reasoning; on the other hand, the principles and methods of logic used as organon are interesting and important topics to be themselves systematically investigated. |

### What people are saying - Write a review

User Review - Flag as inappropriate

good book on logic and set theory

#### Review: Symbolic Logic

User Review - Brian - GoodreadsThis is a good, solid work on symbolic logic, but I just never have the time to finish it, as I am too busy with both work and with other books and reading material. I will write a full review as soon ... Read full review

### Contents

Logic and Language | 1 |

Arguments Containing Compound Statements | 8 |

The Method of Deduction | 32 |

Copyright | |

11 other sections not shown

### Other editions - View all

### Common terms and phrases

applying the Nicod argument form asserts assigned the truth assumption attribute Axiom cardinal Chapter compound statement conclusion Conditional Proof Conj conjunction contains cwff Deduction Theorem deductive system defined definition demonstration denote derived rule disjunction existential expression F F F F T F false finite formal proof formed formulas free occurrence Hence individual variables infinite interpretation invalid logically equivalent logistic system metalanguage Metatheorem natural numbers negation Nicod Rule normal form notation object language occurs free ordered set ordinal numbers P D Q postulates preceding predicate premisses prenex normal form principle proof of validity propositional function propositional symbol Pv P2 quantifier relation result of applying Rule to lines Rules of Inference sequence set theory Simp statement variables subset substitution instance tautology Theorem true truth function truth table truth value truth-functional universal quantification x)Fx