Tractatus Logico-Philosophicus

It follows that if we can define truth-functions generally, we can obtain a general definition of all propositions in terms of the original set of atomic propositions. This Wittgenstein proceeds to do.