首页 >
外延性
✍ dations ◷ 2025-07-01 07:15:03 #外延性
在数学中,外延性通常指称某种形式的。可追溯到莱布尼兹的原理,两个数学对象是相等的,如果没有区分它们的检验。例如,给出两个数学函数 f 和 g,我们可以说它们是相等的,如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义,如果函数范围 Y 对于两个也是公共的。在另一方面,如果我们在类型论的意义上通过附着到它们上的数据来区分函数,这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围,则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”,如果这么考虑,通常会同外延性相抵触。在公理化集合论中,外延性被表达为外延公理,它声称两个集合是相等的,当且仅当它们包含相同的元素。在 lambda 演算中,外延性被表达为 eta-变换规则,它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
,定义如下:这些功能在外延性的意义上是相同的;给定相同的输入,两个函数总是产生相同的值。但是函数的定义并不相同;但是在内涵定义比较时,这两个函数并不相同。在自然语言中,类似地存在许多谓词(关系),这些谓词本质上原来可能是不同涵义的,但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人,他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念,但解析整句后,对该“城镇”中有个“乔”“是最老的人”的外延性,则意义即等同。
相关
- B细胞B细胞(B淋巴球)有时称之为“朝囊定位细胞”(bursa oriented cells),这是因为它们首次在鸡的腔上囊(Bursa of Fabricius)被提及的关系。在肠道的派亚氏腺体(Peyer's glands)中的淋巴组
- 中性粒细胞中性粒细胞(英语:Neutrophil 或 Neutrocyte,或全称 Neutrophilic Granulocyte)亦称嗜中性粒细胞或嗜中性多核球,是血液白细胞的一种,也是哺乳动物血液中最主要的一种白细胞。中性
- 性欲亢进性欲亢进(英语:Hypersexuality)是精神卫生研究人员和精神卫生机构所使用的临床诊断,去形容极为频繁或突然增加的性冲动或性活动。女性患上此病叫Nymphomania。男性患上这种疾病
- 前驱物前体(英文:precursor),又称前驱物。在化学领域,前体是一种可以参与化学反应的化学物质,其反应结果是生成另一种化学物质。一个简单的例子是,甲烷可称作一氯甲烷的前体。在生物化学
- 乳酸脱氢酶乳酸脱氢酶(英语:Lactate dehydrogenase;EC 1.1.1.27)是一个广泛存在于各种生物体中的酶,包括了植物与动物。乳酸脱氢酶存在于四种不同的酶分类中。其中两种是依赖细胞色素c的酶,
- 蛮族蛮族(英语:Barbarian)一词在西方历史源自古希腊时期。由于罗马人与希腊人属于同种语系,因此在这两个民族之间存在通用语,而这个词的词源指的是不会说通用语的民族,从未提起这些民
- 免疫抑制疗法免疫抑制(英语:immunosuppression)是指对于免疫应答的抑制作用。免疫抑制可由天然或人为因素导致。天然免疫抑制包括天然免疫耐受,机体可能会对自身组织成分不产生免疫应答。人
- 沙林沙林(Sarin)是一种神经毒剂,通过抑制乙酰胆碱酯酶来破坏神经系统的功能。沙林在人体中的降解速度很慢,具有累积毒性。1938年,沙林由德国法本公司的研究者格哈德·施拉德(Gerhard
- 流泪泪或称泪液、泪水,是眼睛外部的泪腺所分泌的液体。泪的原料是血液中的水分,它经由泪腺分泌出来后、通过并润湿眼球表面,之后进入鼻泪管,流入鼻腔内而进入喉咙。 它不只可湿润眼
- 词素语素(Morpheme)又称形态素、义基,在语素构词学里指最小的语法单位,是最小的语音语义结合体。在口语中,语素是由音位这一种能区别的最小声音单位所组成的,而在文字形式语言中,语素则