WOLFRAM

Wolfram 语言与系统参考资料中心

CombinatorI

表示 TemplateBox[{}, CombinatorI] 组合子.

更多信息
Details and Options Details and Options
范例  
基本范例  
应用  
属性和关系  
参见
相关指南
历史
按以下格式引用：

CombinatorI

CombinatorI

表示 TemplateBox[{}, CombinatorI] 组合子.

更多信息

范例

打开所有单元 关闭所有单元

基本范例  (2)

应用组合子逻辑的标准约简规则：

Wolfram Language code: CombinatorIx //. {CombinatorSx_y_z_ :> xz(yz), CombinatorIx_ :> x}

用组合子逻辑公理证明 TemplateBox[{}, CombinatorI] 恒等式：

Wolfram Language code: FindEquationalProof[CombinatorI == , "CombinatorAxioms"]

应用  (1)

证明组合子之间的恒等式：

Wolfram Language code: thm = CombinatorS(CombinatorK(CombinatorSCombinatorI))(CombinatorS(CombinatorKCombinatorK)CombinatorI) == ;
Wolfram Language code: proof = FindEquationalProof[thm, "CombinatorAxioms"]

属性和关系  (3)

TemplateBox[{}, CombinatorI] 组合子等价于 项 ：

Wolfram Language code: Function[x, x][]

TemplateBox[{}, CombinatorI] 组合子与恒等函数等价：

Wolfram Language code: Identity[x]

可用 TemplateBox[{}, CombinatorS] 和 TemplateBox[{}, CombinatorK] 来表示 TemplateBox[{}, CombinatorI] 组合子，即 TemplateBox[{}, CombinatorS]TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorK]：

Wolfram Language code: CombinatorSCombinatorKCombinatorK //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}

TemplateBox[{}, CombinatorI] 的表达式不是唯一的：

Wolfram Language code: CombinatorSCombinatorKCombinatorS //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}
Wolfram Research (2020)，CombinatorI，Wolfram 语言函数，https://reference.wolfram.com/language/ref/CombinatorI.html.

文本

Wolfram Research (2020)，CombinatorI，Wolfram 语言函数，https://reference.wolfram.com/language/ref/CombinatorI.html.

CMS

Wolfram 语言. 2020. "CombinatorI." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorI.html.

APA

Wolfram 语言. (2020). CombinatorI. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/CombinatorI.html 年

BibTeX

@misc{reference.wolfram_2026_combinatori, author="Wolfram Research", title="{CombinatorI}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorI.html}", note=[Accessed: 10-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_combinatori, organization={Wolfram Research}, title={CombinatorI}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorI.html}, note=[Accessed: 10-August-2026]}