(2) If x equals 5, and y does not equal 5, then x does not equal y.

(3) If x does not equal 5, and y does not equal 5, then x may or may not equal y.

8. OUTLINE.

MEDIATE INFERENCE.

(1) Inference and reasoning.

Definitions. Middle term explained.

(2) The analogy between the judgment and the syllogism.

(3) Rules of the syllogism given. Eight in number.

(4) Rules of the syllogism explained:

Rule 1. Syllogistic symbols.