外延性

✍ dations ◷ 2025-11-22 22:43:41 #外延性

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

相关

T4噬菌体T4噬菌体是噬菌体的一个品系，属于T－系噬菌体，为烈性噬菌体。具有典型的蝌蚪状外形：六角形的头部和可收缩的长的尾部。头部的蛋白质外壳内含有折叠的DNA分子；尾部的蛋白质外壳为一
猫抓病猫抓病是一种由巴通体科的韩瑟勒巴通氏菌（学名：Bartonella henselae）引起的亚急性细菌性疾病，至1950年代则发现此病多经猫抓伤或咬伤而造成感染，主要传播媒介是家猫，主要病发在小
灰胞藻门灰藻（Glaucophyta，Glaucophytes，Glaucocystophytes或Glaucocystids），也叫灰胞藻，是原始色素体生物的一支，是一类稀见的小型淡水藻类，具有独特的灰质体。灰藻的近缘类群有红藻、皮胆
器官系统生物系统（Biological system），又称身体系统（Body system）、器官系统（Organ system），是生物的其中一个组成部分，是由许多不同的器官共同组合而成，执行某种特定的生理作用。人体的系统是
安非他命安非他命（英文名称：Amphetamine也称为苯丙胺，为中枢神经刺激剂，用来治疗注意力不足过动症、嗜睡症、和肥胖症。“Amphetamine”一名撷取自alpha‑methylphenethylamine。安非他
路易吉·伽伐尼路易吉·阿洛伊西奥·伽伐尼（意大利文：Luigi Aloisio Galvani, 拉丁文：Aloysius Galvani）1737年9月9日－1798年12月4日）是意大利医生、物理学家与哲学家，现代产科学的先驱者。他在意
杨朵症候群杨朵症候群（Yentl Syndrome）是指因女性心肌梗死的症状和男性不同，所造成的问题。许多心肌梗死的医学研究主要研究男性心肌梗死的症状，而女性的心肌梗死症状可能和男性不同，因此女
中国科技部1999年规定：印章直径5厘米，中央刊国徽，由国务院制发。中华人民共和国教育部中华人民共和国财政部中国科学院中国工程院国家国防科技工业局中央军委装备发展部中国科学技术协会
小腿腿（英语：Leg），通常指人体的下肢，功能之一在于行走。广义来说，是指其到支撑作用的结构，对于动物来说，通常呈近似圆柱状。由于需要分散重力，通常腿部的末端会形成较宽大的结构，例如人类
性性（genus，英语： gender）在语法中是指一个名词或代词的类别，以及形容词、冠词或动词在与名词或代词搭配时发生的屈折变化。性对于名词或代词来说是一种分类，而对于形容词、冠词或动