§ 212. The Antecedent is the condition on which another statement is made to depend. It precedes the other in the order of thought, but may either precede or follow it in the order of language. Thus we may say indifferently--'If the wind drops, we shall have rain' or 'We shall have rain, if the wind drops.' § 213. The Consequent is the statement which is made subject to some condition. § 214. The complex proposition assumes two forms, (1) If A is B, C is D. This is known as the Conjunctive or Hypothetical proposition. (2) Either A is B or C is D. This is known as the Disjunctive proposition. § 215. The disjunctive proposition may also appear in the form A is either B or C, which is equivalent to saying Either A is B or A is C; or again in the form Either A or B is C, which is equivalent to saying Either A is C or B is C. § 216. As the double nomenclature may cause some confusion, a scheme is appended. Proposition ____________|_____________ | | Simple Complex (Categorical) (Conditional) ___________|__________ | | Conjunctive Disjunctive. (Hypothetical) § 217. The first set of names is preferable. 'Categorical' properly means 'predicable' and 'hypothetical' is a mere synonym for 'conditional.' § 218. Let us examine now what is the real nature of the statement which is made in the complex form of proposition. When, for instance, we say 'If the sky falls, we shall catch larks,' what is it that we really mean to assert? Not that the sky will fall, and not that we shall catch larks, but a certain connection between the two, namely, that the truth of the antecedent involves the truth of the consequent. This is why this form of proposition is called 'conjunctive,' because in it the truth of the consequent is conjoined to the truth of the antecedent. § 219. Again, when we say 'Jones is either a knave or a fool,' what is really meant to be asserted is--'If you do not find Jones to be a knave, you may be sure that he is a fool.' Here it is the falsity of the antecedent which involves the truth of the consequent; and the proposition is known as 'disjunctive,' because the truth of the consequent is disjoined from the truth of the antecedent. § 220. Complex propositions then turn out to be propositions about propositions, that is, of which the subject and predicate are themselves propositions. But the nature of a proposition never varies in thought. Ultimately every proposition must assume the form 'A is, or is not, B.' 'If the sky falls, we shall catch larks' may be compressed into 'Sky-falling is lark-catching.' § 221. Hence this division turns upon the form of expression, and may be said to be founded on the simplicity or complexity of the terms employed in a proposition.