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 would recommend you take discrete algebra or foundational calculus before attempting this book. Read full review
Other editions  View all
Common terms and phrases
applying the Nicod argument form asserts assigned the truth assumption axioms Boolean Expansion compound statement conclusion Conditional Proof Conj conjunction contains cwff deductive system defined definition demonstration denote disjunction elementary valid argument existential existential quantification expression F T F false formal proof formed formulas free occurrence Hence hereditary with respect individual variables Instantiation invalid logically equivalent logically true logistic system metalanguage Metatheorem method Modus Ponens negation Nicod Rule nineteen Rules notation object language P D Q preceding premisses prenex normal form principle proof of validity propositional calculus propositional function proved valid quantification rules quantifier result of applying Rule to steps Rules of Inference sequence Simp singular propositions statement form statement variables substitution instances tautology Theorem tion truth table truth value truthfunctional universal quantification valid argument form validly x)Fx