首页 >
一元谓词演算
✍ dations ◷ 2025-04-04 06:35:59 #一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式
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)}
。
相关
- ICD-9编码列表 (290–319)这是ICD码290–319列表:精神疾病。出处为国际疾病与相关健康问题统计分类第九版(ICD-9, 1977)。本列表基于1975年第九次修改会议作出的建议和第二十九届世界卫生大会的认可。Te
- TNFSF113URF· tumor necrosis factor receptor binding· extracellular space · cytoplasm· monocyte chemotaxis · immune response · activation of JUN kinase activit
- 半电池半电池是一个包含可导电电极、电解质及分离两者而自然形成的双电层结构。该层内的化学反应会在电极和电解质之间移动电荷,从而形成电位差。典型的阳极反应为电极上的金属原子
- 伽凡尼电池伽伐尼电池(Galvanic cell)或称伏打电池(Voltaic cell)是能提供电能的电化电池,伽伐尼电池进行氧化还原反应将化学能转为电能。此名称为了纪念路易吉·伽伐尼或亚历山大·伏打。
- 马偕医院台湾基督长老教会马偕医疗财团法人马偕纪念医院,一般简称马偕纪念医院、马偕医院,是台湾基督长老教会属下的医院。1872年3月9日马偕来到淡水。1879年12月26日马偕首次返国述职
- 叶夫帕托里亚叶夫帕托里亚(乌克兰语:Євпаторія, 俄语:Евпатория, 克里米亚鞑靼语:Kezlev, 希腊语:Ευπατορία, Κερκινίτις - Eupatoria, Kerkinitis, 土
- 印度喀拉拉邦柯枝犹太人,又名马拉巴尔犹太人,是生活在现在印度喀拉拉邦的犹太人。他们是印度最古老的犹太人群体,最早可追溯至所罗门王时代。早在12世纪一个来自西班牙图德拉的犹太旅行家提
- 子午流注子午流注(midnight-noon and ebb-flow doctrine),意即根据中医学说,一日的十二个时辰,和人体的十二条主要经络互相对应,如下表所列。中医认为,在每一个时辰内,其所对应之经络上之血
- 缬氨酸缬氨酸(Valine)是二十种蛋白氨基酸中的其中一种。其英文名称Valine的命名是源自于缬草(Valerian),而中文名称也因此称为缬氨酸。从营养学的观点来看,缬氨酸是一种必需氨基酸。它
- яЯ, я(称呼为 ja)是一个西里尔字母。Я 是俄语、白俄罗斯语和保加利亚语最后一个字母。Я 在俄语亦是代名词“我”的意思。有一种流行的说法,称“Я是最后一个字母”是用来教