外延性

✍ dations ◷ 2025-12-02 23:56:02 #外延性

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

相关

自体免疫缺乏免疫缺陷（英语：immunodeficiency）是指免疫系统抵抗传染病的能力失常或欠缺。免疫缺陷还可能降低肿瘤免疫监视功能。免疫缺陷多为继发性（secondary）免疫缺陷，不过也有些人生来就有
词法学词法学（英语：morphology，“组织与形态”），又称形态学、构词学，是语言学的一个分支，研究单词（word）的内部结构和其形成方式。如英语的dog、dogs和dog-catcher有相当的关系，英语使用者能
伪阳性第一型及第二型错误（英语：Type I error & Type II error）或型一错误及型二错误为统计学中推论统计学的名词。在假设检验中，有一种假设称为“零假设（虚无假设）”；假设检验的目的是利
香菇香菇（学名：Lentinula edodes）又叫做冬菇、北菇、香蕈、厚菇、薄菇、花菇、椎茸，为小皮伞科香菇属的物种，是一种食用菇类。一般食用的成员为，鲜香菇脱水即成干香菇，而且会产生浓郁特
溶酶体溶酶体（英语：lysosome），又称溶体、溶小体，存在于细胞（多存在于动物细胞中，植物细胞内不常见）中，属于细胞的内膜系统，由高尔基氏复合体产生，是单层膜的囊状细胞器，内部含有数十种从高尔基
哌嗪哌嗪（音：派秦(pài qín)。英语：Piperazine）是一种有机化合物。哌嗪是包含两个氮原子的六元杂环，两个氮原子处于对位。很多哌嗪类化合物有一些重要的药理性质，其都包含哌嗪官能团
凯诺兰大陆凯诺兰大陆（Kenorland）是其中一个地球上最早期的超大陆。科学家相信此大陆是由于克拉通加积及新的大陆地壳产生而在大约27亿年前的新太古代形成的。后来此大陆的部分形成了劳
比利牛斯山比利牛斯山，位于欧洲西南部，山脉东起于地中海，西止于大西洋，分隔欧洲大陆与伊比利亚半岛，也是法国与西班牙的天然国界，山中有小国安道尔。长435公里，宽80－140公里，一般海拔在2000米以
斯德哥尔摩综合征斯德哥尔摩综合征（英语：Stockholm syndrome；瑞典语：Stockholmssyndromet）又称为人质情结、人质综合征，是一种心理学现象，是指被害者对于加害者产生情感，同情加害者、认同加害者的某
甲状软骨甲状软骨（thyroid cartilage、盾状软骨）是组成喉部骨骼的九块软骨（透明软骨：甲状软骨1块、环状软骨1块、杓状软骨2块；弹性软骨：会厌软骨1块、小角软骨2块、楔形软骨2块）中最大的，其