一元谓词演算

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

相关

  • 膝蓋膝,俗称膝盖,为位于大小腿之间的连接部位。膝的主要内部组成结构为半月板以及四条韧带。半月板为膝内部股骨下端和胫骨上端之间的接连处所垫的一块新月形的纤维软骨组织,作用是
  • 带状疱疹带状疱疹(英语:herpes zoster、shingles、zoster、或zona)中医又称缠腰火龙、缠腰火丹,俗称蜘蛛疮、生蛇、皮蛇、白蛇、飞蛇,是一种病毒性疾病,特征为局部出现强烈疼痛的群聚皮肤
  • QJ01XQA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01(抗菌药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • Q热Q型流感或羊流感(英语:Q fever或Goat flu),又称Q热或寇热,是指一种在荷兰爆发的新流感。这种流感由贝纳氏立克次体(学名:Coxiella burnetii)细菌引起 。这种流感能够通过羊群传染给
  • 毫升毫升是容量计量单位,符号为mL(为milliliter缩写,音/.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Co
  • 男性生殖系统男性生殖系统是由男性许多生殖器官或组织组成,和人类繁殖有关的系统。有些在体外,有些则在骨盆腔内。男性主要的性器官是制造精子的睾丸,以及分泌精液的阴茎,在和女性性交,精子可
  • 西夏区西夏区,即原新市区,2002年11月1日改为现名,是中华人民共和国宁夏回族自治区银川市辖下的一个区。面积共1129.3平方公里,人口约为45.8万。银川市西夏区本为农业区,近年也发展工业
  • 地中海地中海(英文:Mediterranean),被北面的欧洲大陆、南面的非洲大陆以及东面的亚洲大陆包围着。东西长约4000千米,南北最宽处大约为1800千米,面积251.6万平方千米,是地球上最大的陆间海
  • 二氧化氯二氧化氯是黄绿色的气体,是氯的最稳定的氧化物,也是唯一大量生产的卤氧化物。二氧化氯在其液态时稳定,但若和一些特定物质接触,也有爆炸的可能。 它在约−59°C 时凝结成亮橙色
  • 罗托卡特语罗托卡特语(Rotokas)是个由大约4000名布干维尔省(布干维尔是巴布亚新几内亚共和国东部的一个岛屿)居民所使用的语言。目前已知罗托卡特语至少有三个方言,它们分别为:中央罗托卡