外延性

✍ 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