## Symbolic Logic |

### What people are saying - Write a review

#### Review: Symbolic Logic

User Review - Brian - GoodreadsThis is a good, solid work on symbolic logic, but I just never have the time to finish it, as I am too busy with both work and with other books and reading material. I will write a full review as soon ... 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

### 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 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