外延性

✍ dations ◷ 2025-11-26 23:31:04 #外延性

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

相关

V04A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码V04（诊断用药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborat
心房中隔缺损心房中隔缺损（英语：atrial septal defect，简称：ASD），也被称作心房中膈缺损、心房间隔缺损、房间隔缺损，是由于心脏的心房间隔先天性发育异常所致的右心房和左心房间的异常连通。右
胃壁细胞胃壁细胞（(gastric) parietal cells）又称壁细胞、泌酸细胞，为分泌盐酸及内在因子之上皮细胞。这些细胞都位于胃之胃底（gastric fundus）衬里中之胃腺体(gastric glands)里。它们含
阴虱/阴蟹Pediculus pubis Linnaeus, 1758阴虱（Pthirus pubis）是一种寄生于人体毛发的寄生虫，长约1至3毫米，无翼。因常见于阴部，故称阴虱。另外，由于阴虱身体扁平，远看如同皮屑，细看则如同小
后工业化后工业社会是社会科学名词，指涉开始自1960年代的工业社会转型出现的社会现象，该词最早出自法国社会学家阿兰·图赖讷，后由美国社会学家丹尼尔·贝尔的著作《后工业社会的来临》
行政院主计总处行政院主计总处（简称主计总处）是主管中华民国政府岁计、会计、统计工作的中央二级行政机关，以统计资料作为编制施政计划与预算的依据并为事后的考核，使行政三联制“设计、执行、
风土地方性流行（Endemic）又称地方病或风土病，在流行病学中，指毋须从外界输入，便能在人口内持续出现的疾病，例如：在英国，水痘是地方性流行病，而疟疾并不是。虽然每年在英国都会出现数宗本
阿尔卡埃乌斯阿尔卡埃乌斯，（前620年－？，英语：Alcaeus, Alkaios、希腊语：Ἀλκαῖος) ）。古希腊莱斯沃斯的密提林抒情诗人之一。其兄弟与皮塔库斯结盟推翻了该地的僭主，后因为在西格乌姆（赫勒斯
拉比拉比（רַבִּי‎, Rabbi），有时也写作辣彼，是犹太人的特别阶层，主要为有学问的学者，是老师，也是智者的象征。犹太人的拉比社会功能广泛，尤其在宗教担当重要角色，为许多犹太教仪式
5号染色体长臂缺失症候群5号染色体长臂缺失综合征（Chromosome 5q deletion syndrome、5q综合征、5号长臂染色体单体症(monosomy)、5号染色体长臂缺失综合症）是一种后天性血液疾病，特征是人类5号染色体