(Pp . Pq or p | q) (FFTF) (p, q) " : p and not
q. (p . Pq) (FTFF) (p, q) " : q and not p. (q . Pp) (TFFF) (p,q) " : q and
p. (q . p) (FFFF) (p, q) Contradiction (p and not p, and q and not q.) (p .
Pp . q . Pq) I will give the name truth-grounds of a proposition to those
truth-possibilities of its truth-arguments that make it true.
5.11 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.
5.12 In particular, the truth of a proposition 'p' follows from the truth
of another proposition 'q' is all the truth-grounds of the latter are truth-
grounds of the former.
5.121 The truth-grounds of the one are contained in those of the other: p
follows from q.
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'.
Pages:
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56