首页 >
一元谓词演算
✍ dations ◷ 2025-11-29 07:53:37 #一元谓词演算
在逻辑中,一元谓词演算是所有谓词字母都是一元(就是只接受一个参数)并且没有函数字母的谓词演算。所有原子公式都有形式
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)}
。
相关
- 系统发生树系统发生树(英语:phylogenetic tree)又称演化树或进化树(evolutionary tree),是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法(cladogram)。在图中,每
- 呕血呕血(hematemesis)是指患者呕吐出血液的症状,血液的来源为上消化道(即屈氏韧带以上的消化道,包括食管、胃、十二指肠或胰胆等的出血,胃空肠吻合术后的空肠出血也属于上消化道)。呕
- 圣华金谷圣华金谷(英语:San Joaquin Valley /ˌsæn hwɑːˈkiːn/)是美国加利福尼亚州中央谷地的一片地区,位于萨克拉门托-圣何塞河三角洲南部。这片谷地里有八个县,即弗雷斯诺县、克恩
- 青蒿琥酯青蒿琥酯(英语:Artesunate),是用于治疗疟疾的青蒿素类药物之一。于1977由桂林制药厂(现已更名为桂林南药股份有限公司)工程师刘旭合成。青蒿琥酯是青蒿素的半合成衍生物,可溶于水,因
- 美沙拉嗪美沙拉嗪(英语:Mesalazine,又名美沙拉秦,5'-氨基水杨酸(5-ASA)),是一种氨基水杨酸类抗炎药,用于治疗炎性肠病,包括溃疡性结肠炎,直肠炎,克罗恩病等。美沙拉嗪以口服形式服用缓解克罗恩病
- 肌酸激酶肌酸激酶(英语:Creatine kinase,又称为肌酸磷酸激酶,简称为CK或CPK,EC 2.7.3.2)在磷酸肌酸合成途径中起到可逆催化肌酸形成磷酸肌酸的作用,正反应过程中需要ATP提供磷酰基,磷酸肌酸
- BNA阿根廷“马里亚诺·莫雷诺”国家图书馆(西班牙语:Biblioteca Nacional "Mariano Moreno" de la República Argentina),是阿根廷的国家图书馆,同时也是阿根廷最大的图书馆,图书馆
- 治疗治疗(英语:Therapy),指用于解决健康问题的手段,通常在医学诊断后实施。
- 羟胆甾醇羟胆甾醇或羟胆固醇(英语:Oxycholesterol)或5,6-环氧胆固醇(英语:5,6-epoxycholesterol)是一种与动脉粥样硬化有关的氧化胆固醇
- 溯因推理溯因法或溯因推理(英语:abductive reasoning,也译作反绎推理、反向推理),是推理到最佳解释的过程。换句话说,它是开始于事实的集合,并推导出其最佳解释的推理过程。有时使用术语溯
