外延性

✍ dations ◷ 2025-11-26 00:38:11 #外延性

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

相关

维生素过多症维生素过多症（英语：Hypervitaminosis），亦称维生素中毒症，是指由于摄入过量维生素而引发的一系列中毒症状，这类疾病根据与其有关的维生素的字母进行定名，例如摄入过多维生素A引发的
性别比性别比（英语：Sex ratio），在生物学中又称性比，是指族群中雄性（男性）对雌性（女性）的比率。在人类中，出生男女的性别比大约为105:100。性别比有以下几个种类：人类可能会无意间影响其他生物
恐慌发作恐慌发作（Panic attack）的意义为患者在强烈恐惧下，表现出一系列的身心症状。（常见换气过度或气喘）当恐慌发作，患者会感受到强烈不适，因此常求助于急诊室。一个人在一生中可能出现极
CXCL121A15, 1QG7, 1SDF, 1VMC, 2J7Z, 2K01, 2K03, 2K04, 2K05, 2KEC, 2KED, 2KEE, 2KOL, 2NWG, 2SDF, 3GV3, 3HP3· chemokine activity · growth factor activity· extracell
图像处理small/small图像处理是指对图像进行分析、加工、和处理，使其满足视觉、心理或其他要求的技术。图像处理是信号处理在图像领域上的一个应用。当前大多数的图像均是以数字形式存储，因而图像
表睾酮表睾酮（英语：Epitestosterone）或称为异睾酮，英语：isotestosterone， 17α-睾酮，17α-testosterone，是一种内源性的甾体物质，是雄性性激素睾酮的17α-羟基差向异构体，是一种较弱的雄激素
出生体重出生体重指婴儿在诞生之时的身体重量。具有欧洲血统婴儿的平均出生体重是3.5千克（7.7英磅），而正常的范围则为2.5至5千克（5.5至11.0英磅）。南亚和中国血统的婴儿与欧洲婴儿的出生
犹太-罗曼语支犹太-罗曼语是由罗曼语言转化而来，它仍在某些犹太人群中使用，并且为了获得作为一门语言的认同，它演变为现在的形式，成为了数量众多的犹太语中的一种。加泰罗尼克语，或称犹太-加泰
顺视黄酸维A酸(Tretinoin、ATRA)，又称全反式维甲酸及视黄酸，分子式：C20H28O2，分子量300.44，CAS号302-79-4，熔点180℃。医学导航: 皮肤附件解剖/生理/发育病理/先天/肿瘤, 症状/齐名手术,
语域语域（Register）是在特定语言使用的场合或领域所使用的语言变体风格。根据英国语言学家韩礼德（M. A. K. Halliday）的定义，语域是可以按照用途区分的语言变体。语言使用的领域的种