外延性

✍ dations ◷ 2025-11-12 20:22:00 #外延性

在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义，如果函数范围 Y 对于两个也是公共的。在另一方面，如果我们在类型论的意义上通过附着到它们上的数据来区分函数，这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围，则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”，如果这么考虑，通常会同外延性相抵触。在公理化集合论中，外延性被表达为外延公理，它声称两个集合是相等的，当且仅当它们包含相同的元素。在 lambda 演算中，外延性被表达为 eta-变换规则，它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数 f {displaystyle f} 和 g {displaystyle g} ，定义如下：这些功能在外延性的意义上是相同的；给定相同的输入，两个函数总是产生相同的值。但是函数的定义并不相同；但是在内涵定义比较时，这两个函数并不相同。在自然语言中，类似地存在许多谓词（关系），这些谓词本质上原来可能是不同涵义的，但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人，他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念，但解析整句后，对该“城镇”中有个“乔”“是最老的人”的外延性，则意义即等同。

相关

霍乱弧菌霍乱弧菌(Vibrio cholerae)是革兰氏阴性菌，菌体短小呈逗点状，有单鞭毛、菌毛，部分有荚膜。共分为155个血清群，其中O1群和O139群可引起霍乱。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c
抗银屑病药干癣（英语：psoriasis，/soʊˈraɪ.əsᵻs/，学名为银屑病，又称“白疕”或“牛皮癣”）是一种慢性皮肤疾病，主要特色是在身上出现一块一块异常的皮肤。通常，这些块状皮肤异常会发红、发
复层噬菌体科复层噬菌体属 Tectivirus复层噬菌体科(Tectiviridae)，也译作复层病毒科，tecti来自拉丁文的tectus，有有盖的之意。主要宿主为细菌。代表种：
非正统经济学思想非主流经济学（英语：Heterodox economics），又称异端经济学、非正统经济学，是指采取不同于主流经济学研究方法的经济学学派的概称。主流经济学，又称正统经济学，是指在英语世界中，具备
美国残障者法案美国残疾人法案（英语：Americans with Disabilities Act of 1990）是由美国国会在1990年7月通过的一项法案，经由老布什总统签署生效。2008年小布什总统又签署了残疾人法案修正案，这
印度洋印度洋（英语：Indian Ocean），位于亚洲、非洲、大洋洲和南极洲之间，印度位在印度洋北部的中央位置，这也是印度洋名称的由来，印度洋大部分在南半球。总面积7491万平方公里，约占世界海洋
前庭前庭可以指：
平民保育团平民保育团（Civilian Conservation Corps，CCC）是美国在1933年至1942年间，对19至24岁的单身救济户失业男性推行的以工代赈计划，这些救济户都是在经济大萧条期间失业、难以找到工作
天王补心丸天王补心丹是中医药学传统方剂。同名方约有9首。《校注妇人良方》卷六：人参（去芦）、玄参、丹参、茯苓、远志、桔梗各五钱，生地黄四两，当归酒浸、五味、天门冬、麦门冬去心、柏子
弗迪南·德·索绪尔弗迪南·德·索绪尔（法语：Ferdinand de Saussure，1857年11月26日－1913年2月22日），生于日内瓦，瑞士语言学家。索绪尔是现代语言学之父，他把语言学塑造成为一门影响巨大的独立学科。他