CONDITIONAL

PROPOSITION, in Logic, is one which a eiis the dependence of one categorical proposition on another: e.g. "If the wind changes, it will rain." The proposition from which the other results is termed the Antecedent; the resulting proposition the Consequent. A conditional syllogism is one in which the reasoning depends on a conditional proposition. It is of two sorts, constructive and destructive; as, 1. If A=B, then C=D; but A=B, therefore C=D. 2. If A=B, then C=D; but C is not equal to D, therefore A is not equal to B. The connection between the antecedent and consequent of a conditional proposition is termed the Consequence. [s. 285]