外延性

✍ dations ◷ 2025-10-29 20:30:32 #外延性

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

相关

听觉障碍听觉障碍（英语：Hearing loss）又称听力缺损，指听觉部分或完全丧失，而耳聋人士则是指完全没有或几乎没有听力者。听力缺损可能发生在单耳或双耳，有可能是暂时或永久性质。孩童的听力
粘杆菌素粘杆菌素（Colistin），又名克痢霉素、多粘菌素E，是一种多粘菌素类多肽抗生素，是两种环状多肽——粘杆菌素A和B的混合物。可由多粘芽肥杆菌变种粘菌素（Bacillus polymyxa var. colist
爱德华·金纳爱德华·詹纳（英文：Edward Jenner，1749年5月17日－1823年1月26日），FRS，亦译作爱德华·金纳或琴纳，是一名英国医生，生于英国告罗士打郡伯克利牧区一个牧师家庭，以研究及推广牛痘疫苗，防止
腕腕（拉丁语：Articulatio radiocarpea；德语：Handgelenk；英语：Wrist）即是指手腕，为手掌与手臂连接的地方，在做运动前最好先运动手腕，因为手腕是最容易受伤的部位手腕经常被用来戴手表、手
毫升毫升是容量计量单位，符号为mL（为milliliter缩写，音/.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Co
联邦规则汇编联邦规则汇编（英语：Code of Federal Regulations，缩写：CFR）是由美国联邦政府执行部门的联邦公报发布的一般性和永久法律法规的汇编，通过不同的主题把联邦规则分为50个主题。联邦规
前体药物前体药物（英语：prodrug），也称前药、药物前体、前驱药物等，是指经过生物体内转化后才具有药理作用的化合物。前体药物本身没有生物活性或活性很低，经过体内代谢后变为有活性的物质，
姆大陆姆大陆（Mu continent，又译穆大陆、母大陆、欧姆大陆）是一个传说中存在于太平洋的大陆，并且声称有超过一万年的历史。20世纪初，美国学者詹姆斯·柴吉吾德（英语：James Churchward）提出
不一致启示论证对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教不一致启示论证（英文：Argument from inconsistent revelations），又称“逃避错误地狱问题”（英文：Avoiding the wrong hell
鳐见内文。鳐科（学名Rajidae）是鳐形目的典型科，本科鱼身体扁平，胸鳍宽大，腹鳍有一个明显的缺刻，几乎将腹鳍分为两叶，两个背鳍非常小，紧靠尾部，尾细小，通常无尾鳍，如有也没有鳍条支持。鳐