71

Logic 71

equivalent to the original one in meaning.
The difference is that from the abstract enunciation left abstract no inferences coould be drawn except such trivial syllogistic ones as the traditional treatises on logic alone consider together with certain inferences of the same trivial character which the logic of relatives sets forth.
In order to reason to any good effect it is necessary to bring it into this second shape.
The new enunciation having been obtained certain changes are made in the figure consisting either in moving certain parts of it or in adding new lines or both whereby we are led to percieve that these same relations hold good which are expressed in the second enunciation.
This pointed out in the words "which had to be demonstrated" Euclid breaks off without having