外延性

✍ dations ◷ 2025-12-08 05:07:39 #外延性

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

相关

犯罪美国联邦调查局和美国司法统计局每年都会发布美国犯罪数据统计，联邦调查局每年都会将各个执法机构的案件汇集起来，发布成《统一犯罪报告（英语：Uniform Crime Reports）》。考虑到
组织细胞增生症医学中，组织细胞增生（英语：Histiocytosis）是指组织细胞（英语：histiocyte）（组织巨噬细胞）之过量存在；组织细胞增多症或组织细胞增生症常被用来指代一系列以此为特征的罕见病。偶见以此
下颚颔（又称下巴、下颔、下巴颏），是位于脊椎动物包括人类面部嘴唇以下的部位，人到年老时下巴会逐渐萎缩，这是老化现象的一个过程。
预防接种证预防接种证是中华人民共和国颁发的儿童医学证。2004年新订颁布《中华人民共和国传染病防治法》中，明确国家对儿童实行预防接种证制度，要求儿童在办理入托、入学时必须持符合规
卡尔娄·武尔班尼卡洛·乌尔巴尼（意大利语：Carlo Urbani，1956年10月19日－2003年3月29日），又译乌尔班尼或厄巴尼，意大利医生，是首位留意到SARS是一种全新传染病的医生。乌尔巴尼是无国界医生意大利分
希伯来语希伯来语（עִבְרִית‬ ‘Ivrit，读音：），中文也称希伯来文，属于亚非语系闪米特语族，为古代犹太民族（以色列民族或希伯来民族）一直到现代人民的民族语言、也是基督教和犹太教的宗
阿提拉阿提拉（拉丁语：Attila，406年9月2日－453年4月30日），一译亚提拉，古代欧亚大陆匈人最为人熟知的领袖和单于，史学家称之为“上帝之鞭”（scourge of God），曾多次率领大军入侵东罗马帝国及西
Netscape 6Netscape 6是网景通信的跨平台网络包，因为Netscape 5实质上被废弃，所以6是承接之前的网景通信家族4.8版。此版本和之后的Netscape 7单纯是修改自Mozilla Suite。整个包包含Nav
寂静主义寂静主义是一种神秘的灵修神学，指信徒在灵修中，当单单享受与神交通的神秘经验，而这经验乃是神主动白白赐下的，并非来自个人修为。十七世纪的法国，寂静主义者模利诺斯、盖恩夫人、
语言人类学体质人类学文化人类学语言人类学分子人类学社会人类学考古学应用人类学民族志参与观察文化相对论文化 • 社会史前史 • 人类演化亲属婚姻 • 家庭物质文化种