## A treatise of formal logic |

### What people are saying - Write a review

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

### Contents

OUTLINE OF CLASSICAL LOGIC | v |

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 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