外延性

✍ dations ◷ 2025-04-03 17:34:02 #外延性

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

相关

胸膜腔胸膜腔（pleural cavity）为壁层胸膜和脏层胸膜之间反折包围的一对空腔，左右胸腔各有一个。脏层胸膜紧紧被覆于肺脏表面，而壁层胸膜则紧贴于胸壁（英语：thoracic wall）上。胸膜腔内含
关节关节（拉丁语：Articulatio）在解剖学里指的是两块或两块以上的骨之间能活动的连接。在解剖学上有不动关节、动关节（连接处有液体）和微动关节（Amphiarthrosis）三种。不动关节有：例如尺
演化支演化支是一个分类学的类别，包含着单一的共同祖先及其所有后裔。任何一个演化支都可以说是一个单系群，并以种系发生学的树状图或支序分类学的演化树来表示。若一个演化支在不同
痒痒，中医叫风瘙痒，是一种使动物有对发生部位产生抓挠欲的不快感觉，与疼痛有许多相似之处。其发生多源自周围神经系统（皮痒性和神经性）和中枢神经系统（神经性、神经源性和心理性）。皮
干细胞干细胞（英语：stem cell）是原始且未特化的细胞，它是未充分分化、具有再生各种组织器官的潜在功能的一类细胞。干细胞存在所有多细胞组织里，能经由有丝分裂与分化来分裂成多种的特
氟康唑氟康唑（英语：Fluconazole）是一种三唑，可用于医治由真菌引起的病征。常见的商品名称有大扶康（Diflucan）或“Trican”（辉瑞）。在墨西哥的药店则以“Alfumet”为名销售。氟康唑是抗真菌
计划行为理论计划行为理论 (Theory of Planned Behavior，TPB) 是一个由Icek Ajzen所提出的行为决策模型，主要用以预测和了解人类的行为。计划行为理论的模型中主要由行为信念、行为态度、
抗炎抗炎性（英语：Anti-inflammatory）指物质或治疗能减少炎症的特性。消炎药占约止痛药的一半。消炎药以消炎作用来减少疼痛，与鸦片类药物不同，后者影响中枢神经系统以阻断疼痛讯号传
高铁血红蛋白血症正铁血红蛋白血症（methemoglobinemia），或高铁血红蛋白症、变性血色蛋白血症、变性血红素血症、变性红血球血症、急性变性血红素症，是指因血液中异常的出现过多不能带氧的正铁血
快速链球菌检查法链球菌快速检测（英文：Rapid strep test，简称RST）是临床上广泛用于辅助诊断链球菌性咽炎的快速抗原侦测检验（英语：rapid antigen test）（RADT），该病的致病原为A群链球菌（英语：group A stre