What people are saying - Write a review
We haven't found any reviews in the usual places.
THE CLASSIC OR BOOLESCHRODER
APPLICATIONS OF THE BOOLESCHRODER
SYSTEMS BASED ON MATERIAL IMPLI
5 other sections not shown
Other editions - View all
algebra of logic arithmetical asserted Boole Boole-Schroder Algebra Boole's calculus of classes calculus of propositions class of couples coefficients coincide concept consequence contained corresponding defined definition denotes derived diagram elements elimination equation of condition equivalent example expression extension fact false follows formal implication given gives Hence hold implies q indicated inference interpretation involved laws Leibniz Logic of Relatives logical alphabet logistic material implication mathematical induction meaning method negative normal form notation null null-class operations p c q Peirce possible postulates predicate premises Principia Mathematica principles procedure proof properties propositional functions px is true relations of intension represent result Scholium Schroder significance Similarly solution Strict Implication strict relations substituted syllogism symbolic logic theorem things tion transitive relation triadic relation Two-Valued Algebra U<px universe of discourse valid variables