Symbolic Logic |
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 deductive system defined demonstration denote disjunction elementary valid argument existential existential quantification expression F F F false formal proof formed formulas free occurrence Fx v Gx Hence hereditary with respect individual variables Instantiation invalid logically equivalent logically true metalanguage Metatheorem method Modus Ponens Modus Tollens negation Nicod Rule nineteen Rules notation object language Ɔ P Ɔ Ɔ Q p v q pƆ q premisses principle proof of validity propositional calculus propositional function proved valid pv q Q Ɔ quantification rules quantifier RS₁ Rule to steps Rules of Inference S₁ sequence Simp singular propositions statement form statement variables substitution instances tautology theorems truth table truth value truth-functional universal quantification validly x)Fx