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