一元谓词演算

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

相关

  • 头孢洛林头孢洛林 (国际非专利药品名) (发音为/sɛfˈtærɵliːn/, 商品名Teflaro)是一种第五代头孢菌素类抗生素。它对于包括耐甲氧西林金黄色葡萄球菌(MRSA)在内的革兰氏阳性菌具
  • 背是指人体躯干的后方部分,从臀部上方一直延伸到肩膀以及脖子。它的高度由脊椎决定,而宽度则取决于肋骨及肩胛骨。脊椎贯穿其中,以让神经能够传导至下半身。人体背部中央最明显
  • 口腔癌口腔癌是口腔内软或硬组织出现不正常的恶性增生或病变,大多发生在年老的人身上,具蔓延性,并可能对生命构成威胁。口腔癌包括口腔中健康细胞的逐渐突变通过多种方式发生。根据口
  • 非典型抑郁障碍非典型忧郁症(Atypical Depression)属于慢性忧郁症(轻郁症)与忧郁症的亚型。非典型忧郁症患者与抑郁型忧郁(Melancholic depression)患者不同,前者能体验正面事物带来的心情改善,而
  • 脑脊髓液脑脊液或脑脊髓液(Cerebrospinal fluid)是充满在脑部内颅骨与大脑皮质之间的蛛网膜下腔的透明体液,准确的来说是位于脑膜的蛛网膜和软脑膜之间。它是一种含有微神经胶细胞的纯
  • 生物膜法生物膜法是一种处理污水的好氧生物方法,是一大类生物处理方法的统称。共同的特点是微生物附着在作为介质的滤料表面,生长成为一层由微生物构成的膜。污水与之接触后,其中的溶解
  • 还原还原是一种化工单元过程。在化学反应中,还原反应是氧化反应的逆过程,即是得到电子的过程,因为有一方失去电子,就会有另一方得到电子。因此,还原反应经常和氧化反应合在一起,被称为
  • 阿尔卡埃乌斯阿尔卡埃乌斯,(前620年-?,英语:Alcaeus, Alkaios、希腊语:Ἀλκαῖος) )。古希腊莱斯沃斯的密提林抒情诗人之一。其兄弟与皮塔库斯结盟推翻了该地的僭主,后因为在西格乌姆(赫勒斯
  • 龙线虫病麦地那龙线虫病,又名几内亚线虫病(GWD),是龙线虫感染所引发的疾病。人类饮用不洁净的水后,如果水中含有感染了龙线虫幼虫的水蚤,就会受到感染。患者起初没有症状。大约一年后,母虫
  • 常用国字标准字体表常用国字标准字体表,简称甲表,是中华民国教育部于1979年出版的常用字和字体标准,内收4808字。次常用国字标准字体表,简称乙表,是中华民国教育部于1982年12月出版的次常用字和字体