外延性

✍ dations ◷ 2025-12-09 05:44:33 #外延性

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

相关

LL00-L08 皮肤和皮下组织的感染L10-L14 大疱性疾患L20-L30 皮炎和湿疹L40-L45 丘疹鳞屑性疾患L50-L54 荨麻疹和红斑L55-L59 与辐射有关的皮肤和皮下组织疾患L60-L75 皮肤附件
语素语素（Morpheme）又称形态素、义基，在语素构词学里指最小的语法单位，是最小的语音语义结合体。在口语中，语素是由音位这一种能区别的最小声音单位所组成的，而在文字形式语言中，语素则
阿什肯纳兹犹太人阿什肯纳兹犹太人（意第绪语：אשכנזים‎），指的是源于中世纪德国莱茵兰一带的犹太人后裔（阿什肯纳兹在近代指德国）。其中很多人自10世纪至19世纪期间，向东欧迁移。从中世纪到20
呼吸短促呼吸困难（拉丁语：Dyspnea或Dyspnoea）、呼吸急促或空气饥是患者一种自觉症状，病人一般可自己觉察到呼吸困难，但外界不易观察出来。一般而言重体力劳动等带来的呼吸困难是正常症状，
性别比性别比（英语：Sex ratio），在生物学中又称性比，是指族群中雄性（男性）对雌性（女性）的比率。在人类中，出生男女的性别比大约为105:100。性别比有以下几个种类：人类可能会无意间影响其他生物
杀菌剂杀菌或杀菌剂可能是指：
职业危害职业灾害是指在工作场所发生的危害造成工作者疾病、伤害、失能或死亡，依其灾害性可以分为许多不同的种类，包括化学危害（英语：chemical hazard）、生物性危害、社会心理危害（英语：psy
心脏学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学心脏病学（英语：cardiology）亦称心脏学，为
阿拉瓦克语系阿拉瓦克语系（Arawak），是南美洲和加勒比海的阿拉瓦克族的语言。牙买加的国名来自于此语，是“泉水之岛”的意思。
歧义性歧义（英语：ambiguity，又有译为“含混”）是指未定义或定义不清楚而没有明确涵义的单词、术语（term）、注释或观念。在华人社会，认为此言词源于唐朝苏味道：“处事不欲决断明白，若有错误，