Having considered categorical and hypothetical propositions, their meaning and their implications, we must consider next the disjunctive, or alternative, type of proposition. The essence of what is commonly called a disjunctive proposition is that it asserts that one or other of certain alternatives holds good. Its symbolic form may be best expressed thus: Either A 1, or A 2, where A 1 and A 2 stand for categorical propositions, such as S is M, S is P, P is Q, S is not M, etc. Just as the hypothetical proposition asserts a connection between A and C, and says in effect that the truth of A involves the truth of C, so the alternative proposition asserts that one of the alternatives (A 1 or A 2) is true, that both are not false.