the regular logical form of every argument, consisting of three propositions, of which the first two are called the premises, and the last, the conclusion. the conclusion necessarily follows from the premises; so that, if these are true, the conclusion must be true, and the argument amounts to demonstration