首页 >
一元谓词演算
✍ dations ◷ 2025-12-01 00:58:29 #一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式
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)}
。
相关
- 耐甲氧西林金黄色葡萄球菌耐甲氧西林金黄色葡萄球菌(Methicillin-resistant Staphylococcus aureus)或多重抗药金黄色葡萄球菌(Multiple-resistant Staphylococcus aureus)是金黄色葡萄球菌的一独特菌株,
- 能量能量(古希腊语中 ἐνέργεια energeia 意指“活动、操作”)在物理学中是一个间接观察到的物理量。它往往被视为某一个物理系统对其他的物理系统做功的能力。由于功被定
- 吡嗪酰胺吡嗪酰胺(Pyrazinamide)是一种治疗结核病的药物,有抗菌杀菌的功效,在pH值较低(5~5.5)的条件下,抗菌活性最强。其主要的副作用是可能引起血液中尿酸增高,从而引发关节痛。
- 腺病毒科腺病毒科(Adenoviridae)是一种中型大小的病毒,约90-100nm大,是一种无外套膜的二十面体双股DNA病毒,有核衣壳。腺病毒有四属:腺病毒主要感染多种脊椎动物,当中包括人类。腺病毒于195
- 饮用饮用水是具有一定品质控管,可供饮用或使用而不会造成立即或长期性危害的水。在多数发达国家,即使只有极低比例的水实际使用于饮用或烹饪,常见用途包括洗涤和景观灌溉等,但其家庭
- 尿尿,又称尿液,是人类和脊椎动物为了新陈代谢的需要,经由泌尿系统及尿路排出体外的液体排泄物。排出的尿液可调节机体内水和电解质的平衡以及清除代谢废物且可同时散热,尤其是退化
- 砂糖糖(sugar)泛指各种可食用的带有甜味的晶体,有甜味、短链、可溶于水的有机化合物,许多会用在食品。糖在有机化学中属于糖类,由碳、氢及氧三种原子组成。单糖是结构较简单的糖,包括
- 五险一金五险一金,指中国大陆地区劳动者所享有的社会保险福利的一种通俗化称呼,其中“五险”是指包括养老保险、医疗保险、工伤保险、失业保险、生育保险在内的五种社会保险,“一金”是
- 行政行政机关,又称行政机构、行政部门,其工作是对组织进行日常的管理并施行法律政策等相关活动,是三权分立中的其中一部分。广义上,行政定义为负责国家政策的执行的政府机构。狭义上
- 共时语言学共时语言学(英语:synchronic linguistics),又称静态语言学,是由索绪尔创立的一套语言学方法,其特点是对某个语言现象只在一个给定的时间段内进行研究(通常是现在,但也可以是历史上的
