普遍化

✍ dations ◷ 2025-08-10 17:35:36 #普遍化

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

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

相关

  • 刘以训刘以训(1936年5月5日-),中国生殖生物学家。生于山东安丘。1963年毕业于复旦大学生物系内分泌专业。1966年毕业于中国科学院研究生院。中国科学院动物研究所研究员。1999年当选为
  • 胜海舟胜海舟 / 胜安芳(1823年3月12日-1899年1月19日),日本幕末开明政治家,江户幕府海军负责人。曾留学美国学习海军军事。在坂本龙马行刺他的时候说服龙马成为他的门生。幕府崩溃前夕,
  • 菏泽市菏泽市,简称菏,古称曹州,是中华人民共和国山东省下辖的地级市,位于山东省西南部。市境东界济宁市,东南接江苏省徐州市、安徽省宿州市,南、西、北分别与河南省商丘市、开封市、新乡
  • 槟椥省槟椥省(越南语:Tỉnh Bến Tre/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Mi
  • 兴安东省兴安东省,是满洲国曾经设立的一个省,地域相当于今呼伦贝尔市与兴安盟的大兴安岭东麓。西北以大兴安岭为界,与兴安北省为邻;东南部以嫩江为界,与龙江省接壤;南以金界壕(金长城,成吉思
  • 胡兆龙胡兆龙,(1627年-1663年),字具茨(一字予衮),号宛委,浙江山阴(今绍兴)人,顺天府大兴籍。清初政治人物。父胡拱枢,曾任陵川县丞。胡兆龙于顺治二年(1645年)中举,顺治三年中式丙戌科二甲第二十一
  • 张铨 (杭州)张铨(?-?),字文衡,浙江承宣布政使司杭州府仁和县(今浙江省杭州市)人,民籍,明朝政治人物。浙江乡试第六十九名举人。成化十七年(1481年)中式辛丑科二甲第七十七名进士。授刑部主事。弘治年
  • 刘干 (唐县)刘干(1507年-?年),字仲坤,直隶保定府唐县人,明朝政治人物。军籍,治《诗经》,年三十二岁中式嘉靖十七年戊戌科第三甲第一百三十六名进士。行三,曾祖刘著,教谕;祖刘瑜,翰林院检讨;父刘汝教;母
  • 陆小波陆小波(1882年3月3日-1973年5月1日),男,江苏镇江人,中国现代实业家。曾任中央银行镇江支行行长、镇江水电公司总经理、茅麓公司董事长、南京大同面粉厂董事长、京江中学董事长、镇
  • 大地震两川口津浪记大地震两川口津浪记(日语:大地震両川口津浪記/だいじしんりょうかわぐちつなみき )是日本大阪府大阪市浪速区幸町(日语:幸町 (大阪市))的石制自然灾害传承碑(日语:自然災害伝承碑),记载过去两次南海地震(日语:南海地震)引发海啸袭击大坂(大阪),死者众多,警示将来发生海啸与地震时不要受此等侵害。大坂住民曾忘却过去南海地震的海啸,出现与过去同样的死亡结果,故刻此碑。此碑1855年立成以来几经移设,仍持续管理,如在碑文上墨以便阅读。京阪神地域的六甲变动如今仍在进行。由于此地壳变动,大阪平野(日语:大阪平野)如