首页 >
一元谓词演算
✍ dations ◷ 2025-07-02 09:47:39 #一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式
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)}
。
相关
- 后天免疫系统后天性免疫(英语:adaptive immunity)也称为获得性免疫、适应性免疫、特异性免疫、专一性防御,是一种经由与特定病原体接触后,产生能识别并针对特定病原体启动的免疫反应。和后天
- ATP三磷酸腺苷(英语:adenosine triphosphate, ATP;也称作腺苷三磷酸、腺嘌呤核苷三磷酸)在生物化学中是一种核苷酸,作为细胞内能量传递的“分子通货”,储存和传递化学能。ATP在核酸合
- 人类嗜T淋巴球病毒一型Human T-lymphotropic virus人类嗜T淋巴球病毒一型(Human T-lymphotropic virus 1, HTLV-1)是一种感染后可导致血癌或其他转移癌的病毒,由输血、针头、性行为、母子传染。该
- 脑室脑室为脑内部充满脑脊液的一组腔隙结构。它延伸至脊髓形成中央管。脑室内表面覆盖有上皮状的室管膜。脑室系统由四个脑室组成:脑室之间的孔洞也包括在脑室系统内:脑脊液由各脑
- 凯诺兰大陆凯诺兰大陆(Kenorland)是其中一个地球上最早期的超大陆。科学家相信此大陆是由于克拉通加积及新的大陆地壳产生而在大约27亿年前的新太古代形成的。后来此大陆的部分形成了劳
- 马绍尔群岛面积以下资讯是以2018年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计马
- 进食进食又称食、用餐、俗称吃、吃饭,是动物为了保持体能和生命所进行之有序的摄入营养和能量的过程,是动物的一种本能。所有动物都必须进食其他生物才得以生存。不同动物的进食方
- 胰岛素依赖型糖尿病1型糖尿病(旧称青少年糖尿病或胰岛素依赖型糖尿病)是糖尿病其中一种类型,患者的身体不能产生足够的胰岛素,导致血糖水平过高,典型症状包括:多尿、口渴、易饿以及体重下降;其他症状
- 鳞柄白毒鹅膏菌蕈伞凸面鳞柄白鹅膏(学名:Amanita virosa),又称毁灭天使、招魂天使、破坏天使 (Destroying Angel),是一个隶属于伞菌目鹅膏菌科鹅膏菌属下的有毒真菌种。其为中至大型的菇菌,全体
- 头顶骨颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部,并保护脑部。头骨分为两部分:颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨,并未包含下