普遍化

✍ dations ◷ 2025-07-05 16:52:26 #普遍化

普遍化(generalization)是数理逻辑里一条极为常用的规则,直观来说,这条规则在满足一条件下,可以将原合式公式推广成被全称量化的版本。

在谓词演算里,若承认以下的量词公理模式:(以下的 x {displaystyle x} P ( x ) {displaystyle P(x)} 完全被约束,所以可以套用演绎定里,步骤(11)也是基于类似的理由。

相关

  • 丝氨酸丝氨酸(英语:serine)是一种非必需氨基酸,富含于鸡蛋、鱼、大豆,人体亦可从甘氨酸中合成丝氨酸。丝氨酸在医药上有着广泛用途。丝氨酸可促进脂肪和脂肪酸的新陈代谢,有助于维持免疫
  • 乌拉斯乌拉斯(意大利语:Uras),是意大利奥里斯塔诺省的一个市镇。总面积39.36平方公里,人口2992人,人口密度76.0人/平方公里(2009年)。ISTAT代码为095069。
  • 约翰·怀尔德 (音乐家)约翰·韦德(德语:Johann Wilde;?年-?年)是一名18世纪德国小提琴家和乐器发明家。其最著名之事迹是在1740年时发明了钉子提琴(英语:Nail violin)。它亦向俄国圣彼得堡 Court 引进了中国
  • 积分因子牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅(英语:Eduard Heine) · 巴罗 · 波尔查诺 · 狄利克雷 
  • 李延强李延强(1963年4月-),河北巨鹿人,汉族,中国共产党党员‎。中华人民共和国政治人物、第十三届全国人民代表大会广西壮族自治区代表。2018年,李延强被选为广西壮族自治区出席第十三届全国人民代表大会代表。
  • 基辅的安娜基辅的安娜,是10世纪基辅罗斯公主,基辅大公智者雅罗斯拉夫之女,1051年嫁给法兰西国王亨利一世,成为法兰西王后,1060年亨利一世死后,安娜在儿子腓力一世年幼时担任摄政。后来安娜改嫁拉乌尔四世(英语:Ralph IV of Valois)。
  • 太平岭太平岭山脉,又称,大部分在黑龙江省境内,为穆棱河与绥芬河分水岭。近北北东走向,全长约180公里,宽30公里。以低山为主。北自穆棱河下游鸡西市附近;南至吉林省汪清县北部,构成汪清县与东宁县之间的省界,绥芬河横穿过此段山脉,长35公里,宽10公里,罗子沟盆地位于岭南。岩石以华力西期花岗岩为主,局部地方为侏罗纪火山岩。海拔800~900米,相对高度300~500米,山脊浑圆。森林茂密,切割轻微。
  • 博格丹·洛邦特博格丹·洛邦特(Bogdan Ionuț Lobonț)是一位罗马尼亚足球运动员,在场上司职门将。他现在效力于意大利足球甲级联赛球队罗马足球俱乐部。
  • 索马里語索马里語(索马里语:Af-Soomaali;.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Unicode","Ge
  • 拿骚号战列舰拿骚号战列舰(德语:SMS Nassau)是德意志帝国海军为回应英国战列舰无畏号的下水而建造的德国第一艘无畏舰,得名于拿骚公国。它于1907年7月22日在威廉港的帝国船厂(英语:Wilhelmshaven Imperial Shipyard)开始龙骨架设(德语:Kiellegung),并在不到一年后的1908年3月7日下水,较无畏号晚了约25个月。它也是同名舰级四艘战列舰中的首舰,其姊妹舰还包括波森号、莱茵兰号和威斯特法伦号。第一次世界大战爆发时,拿骚号正在北海服役,隶属于公海舰队第一战列分舰队(英语:I