120

G134

Any categorical proposition is equivalent to the combined assertion of a conditional proposition and of an assertion of the identity of the objects of two terms, one in the antecedent and the other in the consequent of the conditional proposition. Thus, the conditional proposition "If there be a man there is something that sometimes sleeps," together with the assertion of the identity of the subject of the consequent with the subject of the antecedent, make up the entire meaning of "Whatever man there may be sometimes sleeps."