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


5.123 If a god creates a world in which certain propositions are true, then
by that very act he also creates a world in which all the propositions that
follow from them come true. And similarly he could not create a world in
which the proposition 'p' was true without creating all its objects.


5.124 A proposition affirms every proposition that follows from it.


5.1241 'p . q' is one of the propositions that affirm 'p' and at the same
time one of the propositions that affirm 'q'. Two propositions are opposed
to one another if there is no proposition with a sense, that affirms them
both. Every proposition that contradicts another negate it.


5.13 When the truth of one proposition follows from the truth of others, we
can see this from the structure of the proposition.


5.131 If the truth of one proposition follows from the truth of others,
this finds expression in relations in which the forms of the propositions
stand to one another: nor is it necessary for us to set up these relations
between them, by combining them with one another in a single proposition;
on the contrary, the relations are internal, and their existence is an
immediate result of the existence of the propositions.