外延性

✍ dations ◷ 2025-12-02 05:15:34 #外延性

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

相关

健康传播健康传播是传播学的一个分支。美国学者Rogers，Everett M.在1994年提出一种界定，认为健康传播是一种将医学研究成果转化为大众的健康知识，并通过态度和行为的改变，以降低疾病的患
艾司西酞普兰艾司西酞普兰（英语：Escitalopram），或称依地普仑，商品名为立普能（Lexapro）等，是一种选择性5-羟色胺再摄取抑制剂（SSRI）类抗抑郁药。美国食品药品监督管理局（FDA）批准其用来治疗成人和12
铝蒸气压第一：577.5 kJ·mol−1 第二：1816.7 kJ·mol−1 第三：2744.8 kJ·mol−1 （主条目：铝的同位素铝（Aluminum）是化学元素，属于硼族元素，化学符号是Al，原子序数是13，相对密度是2.7
米切尔·贝克温妮费德·米切尔·贝克（英语：Winifred Mitchell Baker，1957年－）。现任Mozilla基金会和Mozilla公司运行董事长。贝克曾担任网景公司的律师工作。2005年，被时代杂志评选为全球最具
胱胺酸症胱氨酸症（英语：Cystinosis）是溶小体贮积症的一种，因第17对染色体短臂13位置的CTNS基因发生缺损，导致将胱氨酸携出溶小体的运输酶功能异常，胱氨酸堆积溶小体上，进而造成器官的病变。
鸟类生理解剖学鸟类生理解剖学，或称鸟类躯体生理学，通常研究的是鸟类所独有的适应特征，这些特征通常都是为了适应飞行所需。鸟类通常拥有轻盈的骨架、轻且强壮的肌肉、能支撑高速新陈代谢和氧
右心室右心室是人类心脏四个心室之一，而四心室则包括两个心房和两个心室。右心室会接收由右心房带来的缺氧血，并把缺氧血运送到肺动脉。右心室有出入二口，入口即右心房出口，其边缘附有
卡尔曼综合征卡尔曼综合征（英语：Kallmann syndrome）是一种罕见的遗传性疾病，其特点患者是无法进入青春期或青春期发育不完全。该疾病也伴随着嗅觉丧失或嗅觉减退。此种疾病男女皆可发病，但多
逻辑哲学论《逻辑哲学论》（又译《名理论》，英语、拉丁语：Tractatus Logico-philosophicus，德语：Logisch-Philosophische Abhandlung），是奥地利哲学家维特根斯坦在其一生中出版的唯一的书籍篇
阳平阳平可以指：