## A Survey of Symbolic Logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

THE CLASSIC OR BOOLESCHRODER | 118 |

APPLICATIONS OF THE BOOLESCHRODER | 175 |

SYSTEMS BASED ON MATERIAL IMPLI | 222 |

5 other sections not shown

### Common terms and phrases

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