Symbolic Logic

abbreviation applying the Nicod asserts assigned the truth axioms Boolean Expansion Chapter compound statements conclusion Conditional Proof conjunction contains cuff Deduction Theorem deductively complete defined definition denote derived rule disjunction elementary valid argument existential false formal proof formed formulas free occurrence Hence individual variables inference Instantiation invalid logically equivalent logically true logistic system metalanguage Metatheorem method modus ponens negation Nicod Rule notation object language occurs free Ɔ P Ɔ Ɔ Q place of Q postulates PƆ Q preceding premisses prenex normal form principle proof of validity propositional calculus propositional function proved valid Px-x Q Ɔ quantifier relation result of applying RS₁ Rule to steps S₁ statement form substitution instances symbolic logic tautology Theorem tion truth function truth table truth value truth-functional universal universal quantification valid argument forms wff of R.S. x)Fx