查看“一元谓词演算”的源代码

在[[逻辑]]中，'''一元谓词演算'''是所有[[谓词变量|谓词字母]]都是[[一元运算|一元]]（就是只接受一个参数）并且没有[[泛函谓词|函数字母]]的[[谓词演算]]。所有[[原子公式]]都有形式 <math>P(x)</math>，这里的 <math>P</math> 是谓词字母而 <math>x</math> 是[[变量]]。

== 性质 ==

向一元逻辑增加一个单一二元谓词字母将导致一个有完全谓词演算表达能力的系统。所以缺乏多元谓词严格的限定了在一元谓词演算中都能表达什么。不像完全谓词演算，这个演算是如此的弱，这个演算的一个给定公式是否[[有效性|有效]]（对于非空[[论域]]为真）是[[决定性问题|可判定性]]的。<ref>[[Heinrich Behmann]], ''Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem'', in ''Mathematische Annalen'' (1922)</ref> 因为一元谓词演算是可判定性的，它不胜任一般的数学推理，比如叫做[[皮亚诺算术]]的微型数学片段就已知是不可判定性的。

尽管有上述缺陷，超越一元逻辑的需求没有得到赞赏，直到[[奥古斯都·德·摩根]]和[[查尔斯·皮尔士]]在十九世纪关于[[关系 (数学)|关系]]逻辑的著作和[[弗雷格]]1879年的《概念文字》的出版。在他们三人之前，三段论[[词项逻辑]]被广泛认为足够用于形式[[演绎推理]]。

在词项逻辑中的推理都可以在一元谓词演算中表示。例如[[直言三段论|三段论]]
: 所有的狗都是哺乳动物
: 没有哺乳动物是草食动物
: 所以没有狗是草食动物
可以在一元谓词演算中符号表示为
: <math>(\forall x\,D(x)\rightarrow M(x))\land \neg(\exists y\,M(y)\land H(y)) \Rightarrow \neg(\exists z\,D(z)\land H(z))</math>
这里的 <math>D</math>, <math>M</math> 和 <math>H</math> 分别指示存在事物的谓词，这里是狗（dog）、哺乳动物（mammal）和草食动物（herbivore）。

反过来，一元谓词演算引人注意的不比词项逻辑更有表达力。可以容易的证明在一元谓词逻辑中的所有公式都[[逻辑等价|等价]]于[[量词]]只出现在如下形式的闭合子公式中的公式

:<math>\forall x\,P_1(x)\lor\cdots\lor P_n(x)\lor\neg P'_1(x)\lor\cdots\lor \neg P'_m(x)</math>

或

:<math>\exists x\,\neg P_1(x)\land\cdots\land\neg P_n(x)\land P'_1(x)\land\cdots\land P'_m(x),</math>

每个这种公式都是另一个的否定，并且量词不嵌套。这些公式还稍微推广了在词项逻辑中考虑的基本判断的形式。例如，这个形式语言陈述比如“所有哺乳动物要么是草食动物要么是肉食动物（carnivore）要么二者都是”为 <math>\forall x\,\neg M(x)\lor H(x)\lor C(x)</math>。

== 脚注 ==
<references/>

{{logic-stub}}

[[Category:逻辑演算]]