A Treatise of Formal Logic, Volume 2Russell & Russell, 1962 - Logic |
Contents
OUTLINE OF CLASSICAL LOGIC | 1 |
OUTLINE OF THE ALGEBRA OF LOGIC | 41 |
OUTLINE OF LOGISTICS | 145 |
Copyright | |
1 other sections not shown
Other editions - View all
Common terms and phrases
according algebra of logic arithmetical axiom âŷ Calculus of Classes Calculus of Propositions categorical propositions classical logic coefficients Comp connex containing deductive defined as follows definition denotes Df Df Df disjunctive disjunctive syllogism E-proposition elementary propositional elements equivalent exist expr expressed false falsity finite number Formal Logic given equation IIIb îŷ K-element Law of Forms logical product logical sum Logik logistics major premise mathematical mathematical induction NC induct negation negative objects P₁ postulates pƆ q predicate Principia principles Proof analogous proof follows propositional functions proved PRscQ regard RQen Russell and Whitehead sect'P smor Q syllogism symbolised symbols term theorems tion trans true universal propositions universe of discourse valid moods values variables Xk+1 ε α