組合邏輯是一種符號，用于消除數理邏輯中對量化變量的需求。它是由摩西-舍芬克爾和哈斯克-庫里提出的，最近在計算機科學中被用作計算的理論模型，也被用作函數式編程語言設計的基礎。它以組合器為基礎，組合器是由Sch?nfinkel在1920年引入的，其想法是提供一種類似的方式來建立函數，并消除對變量的任何提及，特別是在謂詞邏輯中。組合器是一個高階函數，它只使用函數應用和早期定義的組合器，從其參數中定義一個結果。在數學中，組合邏輯最初是作為一種"前邏輯"，它將澄清量化變量在邏輯中的作用，基本上是通過消除它們。消除量化變量的另一種方式是奎因的謂詞漏斗邏輯。雖然組合邏輯的表達能力通常超過一階邏輯，但謂詞漏斗邏輯的表達能力與一階邏輯的表達能力相同（Quine1960,1966,1976）。

哈斯克爾-庫里在1927年底在普林斯頓大學擔任講師時重新發現了組合邏輯。

在計算機科學中，組合邏輯被用作計算的簡化模型，用于可計算性理論和證明理論。盡管它很簡單，但組合邏輯抓住了計算的許多基本特征。組合邏輯可以被看作是λ微積分的一個變體，其中λ表達式(代表函數抽象)被一組有限的組合器所取代，即沒有自由變量的原始函數。將lambda表達式轉化為組合器表達式很容易，而且組合器還原比lambda還原要簡單得多。因此，組合邏輯已經被用來為一些非嚴格的函數式編程語言和硬件建模。這種觀點最純粹的形式是編程語言Unlambda，其xxx的基元是用字符輸入/輸出增強的S和K組合器。雖然不是一種實用的編程語言，但烏蘭巴達具有一定的理論意義。組合邏輯可以被賦予各種解釋。Curry的許多早期論文展示了如何將傳統邏輯的公理集轉化為組合邏輯方程（HindleyandMeredith1990）。DanaScott在20世紀60年代和70年代展示了如何將模型理論和組合邏輯結合起來。

蘭姆達微積分關注的是被稱為蘭姆達術語的對象，它可以用以下三種形式的字符串表示。