一元谓词演算

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

相关

  • 动物è§å†…文动物是多细èƒçœŸæ ¸ç”Ÿå‘½ä½“中的一大类群,统称为动物界ã
  • 阑尾炎阑尾炎,是指由阑尾发炎而引起的急性消化系统疾病。阑尾,是大肠起始段的管状器官。由于其生长位置关系,容易因受到感染、腔隙阻塞等而发炎。一般常说的盲肠炎其实就是指阑尾炎(Ap
  • ROC曲线在信号检测理论中,接收者操作特征曲线(receiver operating characteristic curve,或者叫ROC曲线)是一种坐标图式的分析工具,用于 (1) 选择最佳的信号侦测模型、舍弃次佳的模型。
  • 硝呋莫司硝呋莫司(Nifurtimox)是用于治疗恰加斯病及非洲人类锥虫病的药物。此外,此药也可与依氟鸟氨酸(eflornithine)共同使用在治疗睡眠障碍患者的硝呋莫司-依氟鸟氨酸疗程(英语:nifurtimo
  • 圣罗伦斯河圣劳伦斯河(英语:Saint Lawrence River,法语:Fleuve Saint-Laurent)是北美洲的河流。位于加拿大和美国境内。起源于安大略湖,流经蒙特利尔(加拿大境内)、魁北克市,在加斯佩地区注入大
  • 颈椎颈椎(cervical vertebrae)是脊椎的第一节。人类的颈椎位于颈部区域,一共有7块颈椎骨。第一节颈椎有一个特别的名称:寰椎(Atlas),取自希腊神话中背负着地球的泰坦巨神阿特拉斯。马的
  • DVD数字多功能影音光盘(英语:Digital Versatile Disc,缩写:DVD)是一种光盘存储媒体,通常用来播放标清(标准解晰度)的电影,高清音质的音乐与大容量存储数据用途。DVD与CD或蓝光光盘(Blu-ra
  • 乌拉尔语系乌拉尔语系是语言学家按照语言系属分类方法划分的一组语群,包括38种语言,讲该语系语言的人有2500多万人口,主要分布于欧亚大陆。其中,使用人数最多的为匈牙利语、芬兰语和爱沙尼
  • 四川话四川话(四川话拼音:Si4chuan1hua4;国际音标: ),是流行于中国四川省、重庆市(巴蜀地区)及周边省份临近地区的主要汉语言,包括汉语西南官话中的成渝片及灌赤片。四川话目前约有1亿2千万
  • 书籍的右页和左页书籍的右页是书籍右侧的页面, 也称作纸张的正面;左页是书籍的左侧部分的页面, 也称作纸张的反面。它们是装订, 打印和出版业中的术语, 并且可以更广泛地应用在实体文件交流的