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.
5.124 (1) A proposition asserts every proposition which follows from it.