In particular the truth of a proposition "p" follows from that of a proposition "q", if all the truth-grounds of the second are truth-grounds of the first.

5.121    The truth-grounds of q are contained in those of p; p follows from q.

5.122    If p follows from q, the sense of "p" is contained in that of "q".

5.123    If a god creates a world in which certain propositions are true, he creates thereby also a world in which all propositions consequent on them are true. And similarly he could not create a world in which the proposition "p" is true without creating all its objects.