What people are saying - Write a review
We haven't found any reviews in the usual places.
OUTLINE OF CLASSICAL LOGIC
OUTLINE OF THE ALGEBRA OF LOGIC
OUTLINE OF LOGISTICS
1 other sections not shown
Other editions - View all
according algebra of logic arithmetical assume axiom Calculus of Classes Calculus of Propositions cardinal numbers categorical propositions classical logic co-domain coefficients comp connex containing deductive defined as follows definition denotes disjunctive disjunctive syllogism E-proposition equivalent exist expr expressed false falsity finite number Formal Logic given equation immediate inference inductive cardinal number K-element Law of Forms logical product logical sum Logik logistics major premise mathematical mathematical induction maxp'a minp'a N-form NC induct Nc'a negation negative Not-P Nr'P objects ordinal possible postulates predicate Principia principles Proo Proof analogous proof follows propositional functions proved regard rules Russell and Whitehead sect'P seqp'a smor Q str'P syllogism symbolised symbols theory tion true universal propositions universe of discourse valid moods values variables xu x2