一元谓词演算

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

相关

  • 心肌梗死心肌梗死(Myocardial infarction简称MI、Acute myocardial infarction简称AMI),旧称心肌梗塞,是一种急性及严重的心脏状态。其成因是部分心肌的血液循环突然中断,心肌因无法得到
  • 普通感冒普通感冒(common cold),俗称伤风,医学上还称为急性上呼吸道感染或急性鼻咽炎,是一种上呼吸道的病毒性感染,主要原发于鼻腔,但也可能进犯喉咙以及鼻窦。症状一般于暴露病原后两天内
  • 公共卫生公共卫生是通过组织社区资源,为公众提供疾病预防和健康促进的一门管理学,它使用预防医学、健康促进、环境卫生、社会科学等技术和手段。公共卫生体系由国际公共卫生组织、国家
  • 酵母子囊菌门 Ascomycota p. p.担子菌门 Basidiomycota p. p.酵母(拼音:中国大陆:jiàomǔ、台湾:xiàomǔ;注音:中国大陆:ㄐㄧㄠˋ ㄇㄨˇ、台湾:ㄒㄧㄠˋ ㄇㄨˇ;英文:Yeast)是真核生物域
  • 卵菌见内文卵菌门(学名:Oomycota)或卵菌纲(学名:Oomycetes),俗称水霉 (water mold),是一种与真菌很相似的真核微生物,不具叶绿素,不进行光合作用,需将养分在体外分解后,再进行吸收。但根据亲
  • 小管胃壁细胞((gastric) parietal cells)又称壁细胞、泌酸细胞,为分泌盐酸及内在因子之上皮细胞。这些细胞都位于胃之胃底(gastric fundus)衬里中之胃腺体(gastric glands)里。它们含
  • 肾脏癌肾癌(英语:Kidney cancer or renal cancer)是一种由肾脏细胞癌变引发的癌症。两种最普遍的肾癌分别是肾细胞癌(英语:renal cell carcinoma)(renal cell carcinoma, 缩写为RCC)和发于
  • 科学实在论科学实在论(英语:scientific realism)是对世界的一种看法、理解。在最广泛的意义上,它认为科学所描述的世界,就是真实的世界,亦因而完全独立于人们对世界的个人理解。在科学哲学中
  • 乙硼烷乙硼烷是化学式为B2H6的无机化合物,是目前能分离出的最简单的硼烷。乙硼烷室温下为无色气体,可以与空气形成爆炸性混合物,并且在潮湿空气中自燃。有剧毒。乙硼烷具有较高的化学
  • 本体论 (计算机)在计算机科学与信息科学领域,理论上,本体是指一种“形式化的,对于共享概念体系的明确而又详细的说明”。本体提供的是一种共享词表,也就是特定领域之中那些存在着的对象类型或概