外延性

✍ dations ◷ 2025-11-30 01:49:13 #外延性

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

相关

布鲁氏菌病布鲁氏杆菌病，又名地中海弛张热、马耳他热、波浪热(undulant fever)、波状热，是一种人畜共通传染病，由布鲁氏杆菌属（英语：Brucella）引致。这种细菌可寄宿绵羊、山羊、猪和牛等动物
交沙霉素交沙霉素又称为“角沙霉素”，是一种大环内酯类抗生素（分子中包含一个14元环）。交沙霉素为白色或微黄白色结晶性粉末，无臭，味苦，极易溶于乙醇、乙醚或氯仿，极微溶于水。该抗生素由那
肌张力障碍肌张力障碍（Dystonia）是由于身体的肌肉不随意地持续收缩，造成肌肉产生变形，而无法依照自身的意思活动。肌张力障碍是一组疾病的总称，是骨骼肌张力的病理性改变。患者的肌张力时高
鲍氏不动杆菌鲍氏不动杆菌（学名：Acinetobacter baumannii，俗称：AB菌），属于革兰氏阴性菌，是一种严格需氧、非乳糖发酵的条件致病菌，不具鞭毛，移动性不高，但生命力极强，可广泛地存在于大自然中。该菌
DEHP邻苯二甲酸二(2-乙基己)酯（英语：bis(2-ethylhexyl)phthalate 或 di(2-ethylhexyl)phthalate，缩写分别为BEHP与DEHP），又称邻苯二甲酸二辛酯、酞酸二辛酯（dioctyl phthalate，缩写DOP），
吗氯贝胺吗氯贝胺（商品名也作Amira、Aurorix、Clobemix、Depnil或Manerix）是主要用于治疗抑郁症和社交焦虑的单胺氧化酶A（RIMA）药物的可逆抑制剂。它在美国不被允许使用，但在其它西方国家
休宁县休宁县是中国安徽省黄山市下辖的一个县，位于安徽、江西、浙江三省交界处。休宁县是古徽州府一府六县之一，被誉为“中国第一状元县”。东汉建安十三年（208年）建休阳县，距今已有180
解剖解剖是指将人或动物、植物的身体切割开，以观察其内部的器官和组织。在病理学及法医学都会透过验尸来确认死因。在中学或是医学院中也会在生物学或是解剖学中进行解剖。较基础
书写障碍书写障碍（英语：Dysgraphia、Agraphia），又称失写症，是一种以手写字所产生的学习不利现象，跟阅读能力或是智力障碍无关。书写障碍者通常还是可以写字，但是缺乏某些精细动作技巧，例如胜
猫叫综合征猫叫综合征（英语：Cri du chat syndrome），也称猫哭症、猫啼症、5号染色体短臂缺失综合征（chromosome 5p deletion syndrome），是一种由于第五号染色体短臂缺损而引起的罕见基因异常病