外延性

✍ dations ◷ 2025-04-24 22:23:32 #外延性

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

相关

基础医学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学基础医学（BMS），属于基础学科，是现代医学的
人体寄生虫学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学医学寄生虫学（Medical Parasitology），又
动态心电图动态心电图（英语：Holter monitor，即“霍特监测器”）是一种动态心电图设备，是便携式的心脏监测（英语：cardiac monitoring）设备，可以记录24小时内的心脏电传导系统资讯（一般一次至少会记
米高庄逊迈克尔·约翰逊或译米高·庄臣、麦可·强森（Michael Johnson），可指下列人物：
坐式生活型态坐式生活型态是指只有很少或没有体能活动的社交性生活型态。一个以坐式生活型态生活的人常常由于阅读、社交联谊、观看电视、玩电子游戏或操作手机或电脑等原因，在一天中大部
毒瘾物质依赖（英语：Substance dependence）或称药物成瘾（drug addiction），指需要服用药物才能使日常生活表现正常的强迫行为。出现物质依赖状况后，若突然停止服用药物，可能出现药物戒断症
洪都拉斯面积以下资讯是以2018年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018
J01EA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
塞杰斯塔塞杰斯塔（古希腊语：Ἕγεστα，转写：Egesta；西西里语：Siggésta）是古希腊城市之一，由伊利米人创建，位于意大利西西里岛西北部。塞杰斯塔在历史上长期和塞利农特对立。在公元前580年
促甲状腺激素促甲状腺激素，又称TSH（英语：Thyroid-stimulating hormone, TSH or Thyrotropin），是一个由垂体前叶当中的促甲状腺激素细胞所分泌的肽类激素。该激素用于调节甲状腺的内分泌功能.