n元谓词

n 个变量的命题函数

为了方便，定义 n 个变量都在同一个 个体域 上

值域为 $\{0,1\}$