外延性

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

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

相关

运动体能锻炼，又称体能训练、体适能训练，泛指所有通过运动方式，来达到维持与发展适当体能、增进身体健康的身体活动。它的目标有许多种，包括：增强肌肉与循环系统、增进运动技能与身体
棘变形虫棘变形虫属，是变形虫的一种，是土壤里最常见的原生动物。在淡水和其他动物栖地都能发现。
髌骨髌骨（拉丁语：patella）是一个很厚的、形状介乎于三角形和圆形之间的骨骼，与股骨相连，包裹并保护膝关节的前关节面。髌骨在许多四足动物身上都有出现，如鼠、猫、鸟等，但鲸、大部分爬
镍氢电池镍氢电池（NiMH）是由镍镉电池（NiCd battery）改良而来的，其以能吸收氢的金属代替镉（Cd）。它以相同的价格提供比镍镉电池更高的电容量、较不明显的记忆效应、以及较低的环境污染（不含有
萨尔瓦多面积以下资讯是以2016年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2018年估计国内生产总值（国际汇率）以下资讯是以2018年估计人类发展指数以下资讯是以2018
酯酶酯酶（英语：esterase）是一种水解酶催化剂，可在水分子的参与下，经由水解作用，将酯类切割成酸类与醇类。此类酶参与多种生物化学反应，依其专属受质、蛋白质结构，以及功能而有不同。脂酶
Netscape Mail NewsgroupsNetscape Mail & Newsgroups一般被称为Netscape Mail，是网景通信公司设计的跨平台电子邮件客户端以及新闻组程序。这个程序在Netscape 4到4.5之间是两个程序，一个是邮件程序－“
胸导管胸导管是人和羊膜动物体中最长最大的淋巴管。胸导管自乳糜池经主动脉裂孔进入胸腔；沿脊柱右前方和胸主动脉与奇静脉之间上行，经食管与脊柱之间向左侧斜行，然后沿脊柱左前方上行
未解的问题尚未解决的语言学问题（List of unsolved problems in linguistics）列举了语言学中十分关键但仍待解决的诸多问题，内容如下。以下所示问题中，既有目前已被公认无解的问题，也有已解
字符在电脑和电信领域中，字符（Character）是一个信息单位。对使用字母系统或音节文字等自然语言，它大约对应为一个音位、类音位的单位或符号。简单来讲就是一个汉字、假名、韩文字…