一元谓词演算

✍ dations ◷ 2025-04-02 20:44:47 #一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式 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)} 。

相关

  • 病症人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学症状(英语:symptom)又称病状,医学术语,在疾
  • 鼻息肉鼻息肉(英文又称Nasal Polyp, NP,中文又称鼻肉芽肿)是在鼻子或鼻窦里生长的肉芽肿,大多是未癌化的良性组织。 症状包括呼吸困难、嗅觉丧失、味觉变差、鼻涕倒流以及流鼻涕。
  • 弥漫性毒性甲状腺肿弥漫性毒性甲状腺肿(Toxic diffuse goiter),又称格里夫氏症(Graves' disease),为一种主要侵犯甲状腺的自身免疫性疾病。此病为导致甲状腺功能亢进症最常见的原因,且会导致甲状腺肿
  • 尘螨尘螨(学名:Dermatophagoides spp.)是一种8只脚的微小的蛛形纲节肢动物,长170-500微米,宽250-322微米,雌雄个体均为乳白色,肉眼是几乎看不到的,最喜欢生长在温暖潮湿的环境中,适合生长的
  • 脑脊髓液脑脊液或脑脊髓液(Cerebrospinal fluid)是充满在脑部内颅骨与大脑皮质之间的蛛网膜下腔的透明体液,准确的来说是位于脑膜的蛛网膜和软脑膜之间。它是一种含有微神经胶细胞的纯
  • Springfield, Illinois斯普林菲尔德(英语:Springfield)是美国伊利诺州的首府,同时也是桑加蒙县首府。它是第16任美国总统林肯政坛上崛起的地方。外地人常误以为伊州首府是芝加哥,事实上芝加哥是伊州最
  • 哈雷迪哈雷迪犹太教(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Ta
  • 军队军队也称为武装力量,是被授权使用(英语:use of force)致命武力(英语:deadly force)及武器来保护其国家和全部或部分人民的利益的常规武装力量。军队的任务一般会是保护国家及人民,以
  • 退休金退休金(英语:Pension)指的是一个人因为年龄或其他因素从职场退出时,公司或雇主必须给予退休雇员的一笔较大额酬劳。这笔金额,雇员可以选择要一次提领全额(一次性退休金),或是分期以
  • 中缀中缀(infix),又称接中辞,是一种置入在一组词干(现有字词)中央的词缀。它对比于“外缀”(adfix),那连接到词干外围的词缀,比如前缀或后缀等词缀。当标记文字置于行间注记(interlinear gl