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 ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

User Review  Flag as inappropriate
good book on logic and set theory
Review: Symbolic Logic
User Review  David Bohanick  GoodreadsI would recommend you take discrete algebra or foundational calculus before attempting this book. Read full review
Contents
Logic and Language  1 
Arguments Containing Compound Statements  8 
The Method of Deduction  32 
Copyright  
11 other sections not shown
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 truthfunctional universal quantification x)Fx