言式、矛盾和真值函数的概念。他还覆盖了在语言、科学、信仰和归纳法之间的联系的问题。命题5.2522表达了一种归纳形式，这里的"a"是一个谓词，"O' a"是在"a"上的一个运算，等等；在下面的命题6中使用了这个表示法，并用以指示"a"的所有可能的真值函数。
命题6.*.从命题6开始，维特根斯坦假定了所有句子的基本形式。这个陈述不像第一眼看起来那样神秘，部分的由于维特根斯坦的特异的记号：formula_1。下面是对这些符号的解释：命题6实际上说的是，任何逻辑句子都可以推导自