If all the truth grounds that are common to a number of propositions are at the same time truth grounds of a certain proposition, then we say that the truth of that proposition follows from the truth of the others.