一元谓词演算

✍ dations ◷ 2025-09-06 23:42:35 #一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式 P ( x ) {displaystyle P(x)} ,这里的 P {displaystyle P} 是谓词字母而 x {displaystyle x} 是变量。向一元逻辑增加一个单一二元谓词字母将导致一个有完全谓词演算表达能力的系统。所以缺乏多元谓词严格的限定了在一元谓词演算中都能表达什么。不像完全谓词演算,这个演算是如此的弱,这个演算的一个给定公式是否有效(对于非空论域为真)是可判定性的。 因为一元谓词演算是可判定性的,它不胜任一般的数学推理,比如叫做皮亚诺算术的微型数学片段就已知是不可判定性的。尽管有上述缺陷,超越一元逻辑的需求没有得到赞赏,直到奥古斯都·德·摩根和查尔斯·皮尔士在十九世纪关于关系逻辑的著作和弗雷格1879年的《概念文字》的出版。在他们三人之前,三段论词项逻辑被广泛认为足够用于形式演绎推理。在词项逻辑中的推理都可以在一元谓词演算中表示。例如三段论可以在一元谓词演算中符号表示为这里的 D {displaystyle D} , M {displaystyle M} 和 H {displaystyle H} 分别指示存在事物的谓词,这里是狗(dog)、哺乳动物(mammal)和草食动物(herbivore)。反过来,一元谓词演算引人注意的不比词项逻辑更有表达力。可以容易的证明在一元谓词逻辑中的所有公式都等价于量词只出现在如下形式的闭合子公式中的公式或每个这种公式都是另一个的否定,并且量词不嵌套。这些公式还稍微推广了在词项逻辑中考虑的基本判断的形式。例如,这个形式语言陈述比如“所有哺乳动物要么是草食动物要么是肉食动物(carnivore)要么二者都是”为 ∀ x ¬ M ( x ) ∨ H ( x ) ∨ C ( x ) {displaystyle forall x,neg M(x)lor H(x)lor C(x)} 。

相关

  • 外寄生虫感染外寄生物感染是指主要由外寄生物引起的寄生虫病。外寄生物即暂时或永久寄生于宿主体表的寄生物。例如:治疗外寄生物感染常使用杀外寄生虫药(英语:ectoparasiticide),以杀死外寄生
  • 流汗汗液,或汗,是由人等高等动物透过汗腺所分泌出的液体。汗的分泌受到植物性神经系统调节。汗液的主要成分是水,约占总成分的98%到99%,其余物质为氯化钠,极少量的尿素、氨和其他盐类
  • 阴囊阴囊(英语:scrotum)是在一些雄性哺乳动物的生殖系统中,位在阴茎下方,阴茎和肛门之间的位置,外有皮肤和平滑肌包覆、内含睾丸(被分隔在两腔室)的囊状物。一般而言会有一颗睾丸比较低,
  • 视觉化视觉化(英文:Visulation),又称为可视化模拟或者可视化仿真,是指其中对于特定系统的可视化与计算机模拟同时进行的一种混合过程。许多的用于GPGPU程序之中都包括有视觉化过程;通常,
  • 去甲肾上腺素-多巴胺再吸收抑制剂去甲肾上腺素-多巴胺再吸收抑制剂(NDRI)是一种借由阻挡多巴胺转运体(DAT)及去甲肾上腺素转运体(NET)而达成作用的再吸收抑制剂。 它可使细胞膜外的多巴胺及去甲肾上腺素浓度增加,达
  • 让·布里丹让·布里丹(Jean Buridan,拉丁文写法为Joannes Buridanus;1292年-1363年),法国哲学家,经院哲学博士,欧洲宗教怀疑主义倡导者。在西方1340年,再造了冲力说理论。思想实验布里丹之驴就
  • 古教会斯拉夫语古教会斯拉夫语(ⰔⰎⰑⰂⰡⰐⰠⰔⰍⰟ ⰧⰈⰟⰊⰍⰟ,словѣ́ньскъ ѩзꙑ́къ,slověnĭskŭ językŭ)也被称为古保加利亚语、古马其顿语、古斯拉夫语,它是斯拉夫语
  • 君士坦丁堡的陷落君士坦丁堡的陷落是奥斯曼帝国于苏丹穆罕默德二世领导之下对东罗马帝国首都君士坦丁堡所作的一次征服,发生于1453年5月29日星期二。东罗马皇帝君士坦丁十一世也在当天战死。
  • 堆肥式厕所堆肥式厕所(英语:composting toilet)或生化厕所(bio toilet)是一种以极少水量冲厕或甚至是无水的厕所,排泄物流入便池中混合木糠、椰棕(英语:Coir)或泥炭藓等物质带氧分解成堆肥,多余
  • 偏旁陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧