Symbolic Logic |
Other editions - View all
Common terms and phrases
antecedent applying the Nicod argument form asserts assigned the truth assumption axioms Boolean Expansion compound statement conclusion Conditional Proof Conj conjunction contains cuff deductive system defined definition demonstration denote disjunction elementary valid argument existential quantification expression false formal proof formed formulas free occurrence given argument Hence hereditary with respect individual variables Instantiation invalid logically equivalent logically true logistic system metalanguage Metatheorem method Modus Ponens Modus Tollens negation Nicod Rule nineteen Rules notation object language Ɔ Q PƆ Q preceding premisses principle proof of validity propositional calculus propositional function proved valid pv q quantification rules quantifier result of applying RS₁ Rule to steps Rules of Inference S₁ sequence Simp singular propositions statement form statement variables substitution instances tautology Theorem tion truth table truth value truth-functional universal quantification valid argument form validly x)Fx