Symbolic Logic |
From inside the book
58 pages matching propositional function in this book
Where's the rest of this book?
Results 1-3 of 58
Contents
Logic and Language | 1 |
Chapter Two Arguments Containing Compound State | 10 |
Chapter Three The Method of Deduction | 40 |
Copyright | |
31 other sections not shown
Other editions - View all
Common terms and phrases
abbreviate applying the Nicod asserts axioms Boolean Expansion Chapter conclusion Conditional Proof conjunction contains Deduction Theorem deductively complete defined definition denote derived rule disjunction elementary valid argument existential existential quantification false formal proof formed formulas free occurrence Fx v Gx Hence individual variables inference Instantiation invalid letters logically equivalent logically true logistic system metalanguage Metatheorem method modus ponens negation Nicod Rule notation object language Ɔ P Ɔ Ɔ Q Pk+1 postulates PƆ Q preceding premisses principle proof of validity propositional calculus propositional function proved Px-x Q Ɔ Q₂ quantification rules quantifier relation result of applying RS₁ Rule to steps S₁ scope sequence of wffs Simp singular propositions substitution instances Sx-x Syntax Language tautology theorems tion truth function truth table truth value truth-functional universal universal quantification valid argument forms validly wff of R.S. x)Fx