Tractatus Logico-Philosophicus: the original authoritative edition

by Ludwig Wittgenstein

If p follows from q, the sense of “p” is contained in that of “q”.