外延性

✍ dations ◷ 2025-12-01 04:09:09 #外延性

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

相关

药理学药理学（英语：Pharmacology），是研究药品与有机体（含病原体）相互作用及作用规律的学科。它既研究药品对生物的作用及作用机制，即药品效应动力学（Pharmacodynamics，简称药效学）；也研究药品
腐生细菌腐生生物指的是从其他生物尸体、动物组织或是枯萎的植物身上获得养分的生物。腐生生物不能自己进行光合作用，也不能自己制造有机养分，因此属于异养生物的一类。包含了真菌、细
脑膜脑炎脑膜脑炎（英语：Meningoencephalitis /mɪˌnɪŋɡoʊɛnˌsɛfəˈlaɪtᵻs, -ˌnɪndʒoʊ-, -ən-, -ˌkɛ-/ ）是一种兼具脑膜炎（脑膜的感染、发炎）和脑炎（脑的感染、发炎）特点
吡哆醇缺乏症维生素B6（英语：Vitamin B6）是B族维生素的一种，又名抗皮炎维生素、吡哆素，在食物中分布较广，同氨基酸代谢有密切关系，是氨基酸脱羧酶、转氨酶等的辅酶。此为一种水溶维生素，在烹饪过
链球菌感染后肾小球肾炎急性增生性肾小球肾炎(Acute proliferative glomerulonephritis)是在肾小球(肾小球肾炎)、或肾小管中所产生的病症。它常见于细菌感染的并发症中，通常是由链球菌(脓疱病)所造
窥视症窥淫癖、窥阴癖（英语：voyeurism）意指一个人喜欢借由偷看他人更衣、裸体或性行为而得到性快感的行为；这种行为不被社会接受。偷窥者要在被偷窥者不知情的情况下，才会得到快感。患
风湿免疫科人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学风湿病学或称风湿病专科（英语：Rheumatol
温带气旋温带气旋，亦称为锋面气旋或中纬度气旋，是一种发生在地球中纬度地区的大尺度低压系统。温带气旋附带锋面，一段时间后将合并成为囚锢锋。“气旋”一词适用于各种各样的低压区，其中
阿哥拉阿哥拉（希腊语：Αγορά）原意为市集，泛指古希腊以及古罗马城市中经济、社交、文化的中心。阿哥拉通常地处城市中心，为露天广场。城市男性居民聚集在那里进行商业交易。除此以外
卫生公共卫生是通过组织社区资源，为公众提供疾病预防和健康促进的一门管理学，它使用预防医学、健康促进、环境卫生、社会科学等技术和手段。公共卫生体系由国际公共卫生组织、国家