But for the reason given above, such a procedure would have to be regarded as highly unsuitable; for it 'Elementary propositions' in Wittgenstein, Tractatus Logico Philosophicus, Proposition 'Propositions are truth functions of elementary propositions'. '