外延性

✍ dations ◷ 2025-11-28 16:48:23 #外延性

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

相关

人乳头状瘤病毒人类乳头瘤病毒（Human Papillomavirus，HPV）是一种DNA病毒，属于乳头瘤病毒科乳头瘤病毒属。该类病毒感染人体的表皮与黏膜组织，目前约有170种类型的HPV被判别出来，有些时候HPV入侵
眼眼（亦称眼睛、目、目睭）是视觉的器官，可以感知光线，转换为神经中电化学的脉冲。比较复杂的眼睛是一个光学系统，可以收集周遭环境的光线，借由虹膜调整进入眼睛的强度，利用可调整的晶
新冠肺炎新型冠状病毒肺炎（英语：Novel coronavirus pneumonia），简称新冠肺炎，即由新型冠状病毒所引起的肺炎。可以指：
氘.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
哈伯特顶点在1953年，美国地质学家哈伯特（King Hubbert）大胆预言，美国石油生产速率将于60年代末至70年代初左右达到顶峰，达到了顶峰之后就会一直下降。这种情形叫做哈伯特顶点（Hubbert's peak
新热带界新热带界，是组成地球陆地表面的八个生物地理分布区之一。它包括热带美洲大陆的热带陆地生态区和南美洲全部温带区。在生物地理学中，新热带界是八个陆地生物地理分布区之一。它
科学哲学科学哲学是20世纪兴起的一个哲学分支，关注科学的基础、方法和含义，主要研究科学的本性、科学理论的结构、科学解释、科学检验、科学观察与理论的关系、科学理论的选择等。该学
环甲肌环甲肌（cricothyroid muscle、环甲状肌、环盾肌）是喉部辅助发声的唯一张力肌肉。它附着于甲状软骨的较低层（英语：Planar lamina）及大角下、以及环状软骨的前外侧，其作用在使甲状腺
动物认知动物认知是指非人类的动物精神能力的研究。动物认知从比较心理学发展出来，包括动物情绪和动物学习研究，但也受到动物行为学、行为生态学、演化心理学研究的强烈影响。因此科学
过去式过去时（Past tense），也常称为过去式，是一种时态，用于说话时点之前所发生事件的语法意义。在英语中，过去时态是一个动词的词尾变化的形式之一。规则动词的过去式是由基本形式的动词