## Symbolic logic |

### What people are saying - Write a 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

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