一元谓词演算

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

相关

  • 化石化石是存留在岩石中的古生物遗体、遗物或生活痕迹,最常见的是骸骨和贝壳等。研究化石可以了解生物的演化并能帮助确定地层的年代。保存在地壳的岩石中的古动物或古植物的遗体
  • 卫星病毒卫星病毒是亚病毒因子的一类,需要辅助病毒协助复制核酸,或者由辅助病毒提供衣壳蛋白来包被核酸。能利用自己核酸编码衣壳蛋白的为卫星病毒,不能的则称卫星核酸。
  • 血管收缩血管收缩(vasoconstriction),亦即血管收窄,是指体内血管管腔收窄,这会造成血压的上升。它的相反过程称为血管舒张。血管收缩可以是由血管收缩剂造成。血管收缩剂是针对特定的受体
  • 经济史经济史,经济领域的发展历史,是社会科学的核心,经济状态的变迁史,其研究范围为亚当·斯密的《国民财富的性质和原因的研究》。 经济史在19世纪从历史学分离开来成为一门独立学科,
  • 2C-B2,5-二甲氧基-4-溴苯乙胺(2,5-dimethoxy-4-bromophenethylamine,2C-B),一种隶属2C-X家族(英语:2C's)的致幻剂,由Alexander Shulgin于1974年合成,其制备与应用剂量(12-24mg)在PiHKAL一书
  • 西兰大陆坐标:40°S 170°E / 40°S 170°E / -40; 170西兰大陆(Zealandia),也被称为西兰洲、西兰蒂亚和Tasmantis,是一块几乎被淹没的微大陆(microcontinents)。于8500万到6000万年前从包
  • 陀瑟他《陀瑟他》(亚拉姆语:תוספתא,英语:Tosefta),犹太教的经典之一,源自于《米书拿》(Mishnah)的时代,是犹太口传律法的集合。《米书拿》(Mishnah)是犹太教口传律法的最基本部分,大约在
  • 增生性贫血增生性贫血即指血液中某种细胞增生过多引起其他细胞成分相对减少的贫血。包括三大类贫血:溶血性贫血、缺铁性贫血和巨幼细胞增生性贫血
  • HLA-A2XPG, 3RL1, 3RL2· plasma membrane · integral to plasma membrane · ER to Golgi transport vesicle membrane · integral to membrane · phagocytic vesicle me
  • 粗体粗体是在正常字体样式(或字型)的基础上,通过加粗笔画实现的一种字体样式。例如,“维基百科”的粗体样式为“维基百科”。粗体的英文是bold,在字体编辑软件中,往往以B作为加粗字体