组合逻辑

---

(拉丁语combinare——联合，结合) 数理逻辑的一个分支，它分析古典数理逻辑所采用的，但仍缺乏进一步研究的一些概念。

变项、函项、代入规则等概念均属它所分析的概念。古典数理逻辑中使用两种规则。第一种规则表述简单并且使用不受任何限制。

例如，分离规则就是如此。

该规则表述如下：如果已推出命题“如A则B”和“A”，就可推出命题“B”。这一规则可机械地执行，且一步就能完成。其他规则(如代入规则)表述非常复杂，并且必须以一系列的限制和附加条件为前提(没有这些限制和附加条件就不能纯形式地加以使用)。建立起不再出现类似代入规则的形式体系，乃是组合逻辑的一项任务。