In every inference there is a proposition that serves as a ground, and' another, namely the conclusion, that is drawn from the former, andd finally the inference (consequence) ac cording to which the truth of the conclusion is connected unfailingly with the truth of the first proposition.