组合逻辑
组合逻辑是一个形式系统，等同于 λ 演算，可以无需形式变量表示函数. 每个术语是一个函数并且只有一个二进制操作和应用.
组合术语
Application () — 左关联函数应用
CombinatorK, CombinatorS — 基本组合器
CombinatorB ▪ CombinatorC ▪ CombinatorI ▪ CombinatorW ▪ CombinatorY
Construct — Wolfram 语言应用
Function — λ 演算中的抽象
自动理论证明 »
FindEquationalProof — 产生组合逻辑中的证明表示