第201页 逻辑与可计算性

命题逻辑里命题是最小部件，但一阶逻辑里允许用argument和谓词来构造命题。高阶逻辑中quantifier可用在代表命题函数的变量上。