CombinatorK
![TemplateBox[{}, CombinatorK]](Files/CombinatorK.en/17.png "TemplateBox[{}, CombinatorK]"){kind=small}
CombinatorK
represents the ![TemplateBox[{}, CombinatorK]](Files/CombinatorK.en/1.png "TemplateBox[{}, CombinatorK]"){kind=small}
combinator.
Details
- The
![TemplateBox[{}, CombinatorK]](Files/CombinatorK.en/2.png "TemplateBox[{}, CombinatorK]")
combinator has the property that ![TemplateBox[{}, CombinatorK]xy](Files/CombinatorK.en/3.png "TemplateBox[{}, CombinatorK]xy")
reduces to 
. - No transformations for CombinatorK are applied automatically.
- CombinatorK is output in StandardForm or TraditionalForm as
![TemplateBox[{}, CombinatorK]](Files/CombinatorK.en/5.png "TemplateBox[{}, CombinatorK]")
. This typeset form can be input using 
cK
.
Examples
open all close allBasic Examples (2)
Apply the standard reduction rules of combinatory logic:
CombinatorKxy //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}Use the axioms of combinatory logic to prove the ![TemplateBox[{}, CombinatorK]](Files/CombinatorK.en/12.png "TemplateBox[{}, CombinatorK]"){kind=small}
identity:
FindEquationalProof[CombinatorK == , "CombinatorAxioms"]Applications (1)
![TemplateBox[{}, CombinatorK]](Files/CombinatorK.en/13.png "TemplateBox[{}, CombinatorK]"){kind=small}
Wolfram Research (2020), CombinatorK, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorK.html.
Text
Wolfram Research (2020), CombinatorK, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorK.html.
CMS
Wolfram Language. 2020. "CombinatorK." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorK.html.
APA
Wolfram Language. (2020). CombinatorK. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CombinatorK.html