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

### Other editions - View all

### Common terms and phrases

abbreviate applying the Nicod argument form asserts assigned the truth assumption axioms Boolean Expansion compound statements conclusion Conditional Proof Conj conjunction contains cwff deductive system defined definition demonstration denote disjunction elementary valid argument existential existential quantification expression 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 mortal negation Nicod Rule nineteen Rules notation object language P D Q postulates 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 scope sequence Simp singular propositions statement form statement variables substitution instances tautology Theorem tion truth table truth value truth-functional universal quantification validly x)Fx