Symbolic Logic 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Symbolic Logic
User Review  David Bohanick  GoodreadsI would recommend you take discrete algebra or foundational calculus before attempting this book. Read full review
Review: Symbolic Logic
User Review  GoodreadsI took this course in college using this text. It is very difficult and disappointing  not the subject but its use. Wanting to become a lawyer  which I did and have regretted it ever since  I ... Read full review
Contents
Logic and Language  1 
Chapter Two Arguments Containing Compound State  10 
Chapter Three The Method of Deduction  40 
Copyright  
31 other sections not shown
Common terms and phrases
abbreviation applying the Nicod asserts assigned the truth axioms Boolean Expansion Chapter compound statements conclusion Conditional Proof conjunction contains cwff Deduction Theorem deductively complete defined definition denote derived rule elementary valid argument existential F F F F T F false formal proof formed formulas free occurrence Hence individual variables inference Instantiation invalid letters logical types logically equivalent logically true logistic system ment metalanguage Metatheorem method modus ponens negation Nicod Rule notation object language occurs free P D Q place of Q postulates preceding premisses prenex normal form principle proof of validity propositional calculus propositional function provable Pxx quantifier relation result of applying Rule to steps singular propositions statement form statement variables substitution instances tautology Theorem tion truth function truth table truth value truthfunctional universal universal quantification valid argument forms validly wff of R.S. x)Fx