Page:An Investigation of the Laws of Thought (1854, Boole, investigationofl00boolrich).djvu/144

From Wikisource
Jump to navigation Jump to search
This page has been proofread, but needs to be validated.
128
OF REDUCTION.
[CHAP. VIII.

Whence there will result , these being equations which are deducible from either of the primitive ones. Their interpretations are—

Similar triangles which have their corresponding angles equal have their corresponding sides proportional.

Similar triangles which have their corresponding sides proportional have their corresponding angles equal.

And these conclusions are equally deducible from either premiss singly. In this respect, according to the definitions laid down, the premises are not independent.

14. Let us, in conclusion, resume the problem discussed in illustration of the first method of this chapter, and endeavour to ascertain, by the present method, what may be concluded from the presence of the property , with reference to the properties and .

We found on eliminating the symbols the following equations, viz.: (1),(2),(3). From these we are to eliminate and determine . Now (1) and (2) already satisfy the condition . The third equation gives, on bringing the terms to the first side, and squaring (4)[errata 1]. (4) Adding (1) (2) and (4) together, we have [errata 2]. Eliminating , we get [errata 3]. Now, on multiplying the terms in the second factor by those in the first successively, observing that ,


  1. Correction: should be amended to : detail
  2. Correction: should be amended to : detail
  3. Correction: should be amended to : detail