普遍化

✍ dations ◷ 2024-12-29 11:16:00 #普遍化

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

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

相关

  • 杰米·加文斯基詹姆斯·沃纳·加文斯基(英语:James Werner "Jamie" Zawinski,1968年11月3日-),又名jwz,是一位美国黑客,知名于贡献自由软件项目Mozilla、XEmacs,以及早期版本的Netscape Navigator网
  • 腾讯微博腾讯微博是腾讯公司于2010年4月1日推出的一项微博客服务,微博用户可以通过网页、短信、手机程序、QQ等方式发布最长140字的广播,后因新浪微博的崛起该微博几乎处于半废止状态
  • 爱尔达电视爱尔达科技股份有限公司(英语:ELTA Technology Co., Ltd.,简称:ELTA TV)是由台达电子创办人郑崇华转投资的爱尔达科技所设立的电视台。2008年10月21日正式在中华电信MOD开台。 目
  • 毛片毛片,可以是:
  • 小行星3646小行星3646(3646 Aduatiques)是一颗绕太阳运转的小行星,为主小行星带小行星。该小行星于1985年9月11日发现。小行星3646的轨道半长轴为2.7581507 UA,离心率为0.104。
  • 标准英语标准英语(英语:Standard English,缩写为SE),指在使用英语,而且将英语视为全国性标准语言的国家中,被认定为具标准语地位的英语。它涵括了文法、字汇、拼音及发音。在英格兰,公认发音
  • 金特·腓特烈·卡尔二世金特·腓特烈·卡尔二世(德语:Günther Friedrich Carl II.,1801年9月24日-1889年9月15日),施瓦茨堡-松德斯豪森亲王,1835年至1880年在位。金特·腓特烈·卡尔于1835年继承退位的父
  • 1989年世界乒乓球锦标赛1989年世界乒乓球锦标赛是于1989年3月29日至4月9日期间在西德多特蒙德举办的国际乒乓球赛事,这是多特蒙德第二次举办世界乒乓球锦标赛。
  • 王宗华 (历史学家)王宗华(1922年-1994年),湖南长沙人,中华人民共和国历史学家。1940年,毕业于长沙雅礼中学。1940至1944年,在四川乐山的武汉大学政治学系学习。大学毕业后在四川宜明德初级中学任教员、在长沙基督教青年会与伤兵之友社总社合办新兵当过服务总队流动队干事、在长沙新兵服务队当过队长以及在长沙基督教青年会当干事。1946年回到武汉大学政治学系工作,讲授政治学概论、各国革命史等课程。1953年调任马列主义教研室中国革命史组组长,在李达领导下编写中国革命史教材,从事中国革命史教学工作。1957年,调到历史系
  • 298年