存在概括

✍ dations ◷ 2025-12-10 11:23:50 #存在概括

存在概括(英语:Existential generalization,简称EG)是谓词逻辑有效推理规则之一。该规则允许论者从一项具体陈述演绎至一项量化概括论述,或存在量化。一阶逻辑中,作为存在量词的规则常用于正式证明。

例:一只叫罗孚的狗喜欢摇尾巴,所以有些东西喜欢摇尾巴。

用费奇符号可记为:

常量小写a在 Q(x)中代替了所有自由变量。a代表一个常量,在这个例子中是狗。Q代表他的属性,在这里是“摇尾巴(的)”。x代表概括后的变量,可以是任何东西,但属于Q,在例子中是摇尾巴的。∃x是一个存在量化,意即“有一些x”

直译该费奇式可得出:“有一个体a,如果对该a来说有Q的属性,则有一些个体x有Q的属性”。

相关

  • 法兰西学院法兰西学术院(法语:Académie française)是法国的一所学术机构,是法兰西学会下属的五个学术院之一,是五个学术院中历史最悠久、名气最大的学术权威机构,当选法兰西学院院士是极高
  • 联合王国历史联合王国(英语:United Kingdom,缩写:UK,全名:大不列颠与北爱尔兰联合王国)历史,其发展以英格兰王国为核心,逐次并入威尔士公国、苏格兰王国和爱尔兰王国。目前联合王国的领土包含英格
  • 聚丁烯聚丁烯(Polybutene,PB)是一种高分子惰性聚合物,主要是由丁烯聚合而成。与聚丙烯和聚乙烯皆为经常使用的塑胶材料。聚丁烯主要用于自来水管、热水管与暖气管等等管道的管壁材料。
  • 多方多方过程是热力学过程的一种,服从以下关系式:其中P是压强,V是体积,n是任意一个实数(多方指数),C是一个常数。这个方程可以用来准确地描述一定的热力学系统的特征,主要是气体的膨胀或
  • 真黑色素真黑色素(拉丁语:Eumelanin),亦作真黑素,是一种生物色素,属于黑色素的一种,是酪胺酸经过一连串化学反应所形成,动物、植物与原生生物都有这种色素。真黑色素还可以分为“黑真黑素”
  • 生产许可标志生产许可标志,全称企业生产许可(Qiyeshipin Shengchanxuke,QS认证)是中华人民共和国政府部门为了保障食品等与人民身体健康和生活安全息息相关的产品的质量而设立的强制性认证体
  • 唐昭明唐昭明(1886年-1962年),号德安,四川省犍为县人,曾任四川省参议会副议长,立法院立法委员。同年11月8日,中国国民党四川省党部执行委员,同年7月14日,谢故委员持国葬典礼办事处秘书同年,
  • 李国璋李国璋可以指:
  • 唐冠螺唐冠螺(学名:),也称冠螺,主要分布于世界暖海,贪食双壳类软体动物,马来西亚、印度尼西亚、中国南海、台湾都有分布,常栖息在低潮线下。唐冠螺是世界四大名螺之一。贝壳大而坚厚,最大的长30厘米左右,全壳呈帽状,体螺层非常发达,而螺旋部很小。口面肉色、光泽,外唇翻向外上方,内唇向内卷折,口狭长有齿状突起,前方呈水管状。其形状象唐代的冠帽,故名。
  • 女性凝视女性凝视/女性视角(英语:female gaze),在女性主义理论中,女性凝视指在视觉艺术和在文学创作中,从女异性恋者的角度描绘男性和现实,将男性性客体化以取悦异性恋女性观众的行为。在叙事电影的视觉和美学表现中,女性凝视拥有三个视角:女性凝视与男性凝视在概念上形成对比。女频作品、女性向作品,是网络新词,泛指以女性为目标客群的作品。该概念常用于娱乐产业,尤其是小说、电子游戏与漫画等ACG作品;例如在恋爱游戏当中,设定角色与表现手法迎合少女喜好,通常也刻意强调美少年角色的英俊与优秀。