首页 >
外延性
✍ dations ◷ 2025-09-02 05:22:16 #外延性
在数学中,外延性通常指称某种形式的。可追溯到莱布尼兹的原理,两个数学对象是相等的,如果没有区分它们的检验。例如,给出两个数学函数 f 和 g,我们可以说它们是相等的,如果对于在公共函数域 X 内的所有 x。这种外延相等是平常的定义,如果函数范围 Y 对于两个也是公共的。在另一方面,如果我们在类型论的意义上通过附着到它们上的数据来区分函数,这样我们可以选择一个更大的集合比如 Z 作为它们之一的范围,则这种相等不同于“外延”意义的相等。这种意义下外延性可能会失败。另一种意义的相等考虑“函数被计算的过程”,如果这么考虑,通常会同外延性相抵触。在公理化集合论中,外延性被表达为外延公理,它声称两个集合是相等的,当且仅当它们包含相同的元素。在 lambda 演算中,外延性被表达为 eta-变换规则,它允许在指示相同函数的任何两个表达式之间的转换。考虑从自然数映射的两个函数
f
{displaystyle f}
和
g
{displaystyle g}
,定义如下:这些功能在外延性的意义上是相同的;给定相同的输入,两个函数总是产生相同的值。但是函数的定义并不相同;但是在内涵定义比较时,这两个函数并不相同。在自然语言中,类似地存在许多谓词(关系),这些谓词本质上原来可能是不同涵义的,但使用指称作用的外延性就变成同义词了。例如假设在一个城镇中有一个名叫乔的人,他是该镇最老的人。而句中的两个论证谓词“有一个人名”和“是最老的人”在比较内涵定义时明显是截然不同的概念,但解析整句后,对该“城镇”中有个“乔”“是最老的人”的外延性,则意义即等同。
相关
- 血清学血清学(serology)的诊断原为研究血清反应的一门医学分支,如今则多用来观察患者的血清以判断、分析相应的疾病。血清检查是医学上常用的一种检测手段,除了可以诊断细菌、病毒外
- 免疫遗传学免疫遗传学(英语:Immunogenetics 或 Immungenetics)是一个生物学分支,研究免疫系统和遗传之间的关系。
- 核糖体核糖体(ribosome),旧称“核糖核蛋白体”或“核蛋白体”,是细胞中的一种细胞器,由一大一小两个亚基结合形成,主要成分是相互缠绕的RNA(称为“核糖体RNA”,ribosomal RNA,简称“rRNA”)
- 依法韦仑CADN通用名:依法韦仑依法韦仑(英文:Efavirenz)是一种抵抗人类免疫缺乏病毒的特效药物。依法韦仑的商业名称为Sustiva® 或Stocrin®,它是一种属于非核苷逆转录酶抑制物(NNRTI—non
- 修道院病毒科修道院病毒科是一种由粉介壳虫和蚜虫传播的植物病毒。修道院病毒包括甜菜枯黄病毒(英语:Beet yellows virus)、莴苣传染性枯黄病毒(英语:Lettuce infectious yellows virus)、葡萄
- 滴状病毒科滴状病毒属滴状病毒科Guttaviridae
- 多核巨细胞巨细胞(英语:giant cell,或称为多核巨细胞)是多个不同细胞(常为组织细胞)融合在一起形成的,常伴随形成肉芽肿。巨细胞可作为感染的反应而形成,这些感染包括结核病、疱疹或HIV,也可由
- 疾病患者患者,又称病人、病者和病患,是指医疗服务的接受者,大多用来指罹患疾病、或身体受到创伤,而需要医生和护理人员进行治疗的人;动物如遇到相同状况,也可以患者称之。但是对于不用接受
- 垃圾焚烧垃圾焚烧,或称垃圾焚化,是一种废物处理的方法,通过焚烧废物中有机物质,以缩减废物体积。焚烧与其他高温垃圾处理系统,皆被称为“热处理”。焚化垃圾时会将垃圾转化为灰烬、废气和
- 综合语综合语(Synthetic language)是一个语言学的概念,与分析语(孤立语)相对。在语言类型学中,一个有着高的语素词语比(英语:morpheme-per-word ratio)的语言。类似德语、俄语等的印欧语言