

In particular the truth of a proposition "p" follows from that of a proposition "q", if all the truthgrounds of the second are truthgrounds of the first. 5.121 The truthgrounds 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. 