## Symbolic Logic |

### What people are saying - Write a review

#### 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 - James Violand - 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 Px-x 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 truth-functional universal universal quantification valid argument forms validly wff of R.S. x)Fx