Classicly

Every act of reasoning must mainly consist in comparing together different things, and either finding out, or recalling from previous knowledge, the points in which they resemble or differ from each other. That particular part of reasoning which is called inference, consists in the comparison of several and different things with one and the same other thing; and ascertaining the resemblances, or differences, of the several things, by means of the points in which they resemble, or differ from, the thing with which all are compared.

There must then be some propositions already obtained before any inference can be drawn. All propositions are either assertions or denials, and are thus divided into affirmative and negative. Thus, A is B, and A is not B, are the two forms to which all propositions may be reduced. These are, for our present purpose, the most simple forms; though it will frequently happen that much circumlocution is needed to reduce propositions to them.