Introduction to Symbolic Logic |
Contents
INTRODUCTION | 1 |
THE PROPOSITIONAL CALCULUS | 9 |
THE PREDICATE CALCULUS | 89 |
Copyright | |
2 other sections not shown
Common terms and phrases
a-variant a₁ A¹x analytic statement antecedent argument form atomic formulas axioms b-variant biconditional Boolean conjunctions Boolean normal form concept conclusion corresponding conditional definite descriptions denotation disjunction example existential extension false form is sound formal axiomatic theory formula in Boolean given implications and equivalences individual constants interpretation whose domain logical theories means modal logic n-tuple negation obtain P₁ P₂ paraphrased PC derivation Pk+1 positive integer premise numbers pretation propositional calculus Q is true red hair relation symbols rules of inference Sb(a sentence is valid sentences of order sentential connectives sentential letters set of formulas stand statement forms substitution instance suppose we want symbolize the form taller tautological replacement tautologically equivalent tautologically implies theorem thing truth table truth values universal quantifier universe of discourse valid sentence want to derive x)Fx y)Fy