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

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
Other editions  View all
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