логіка комбінаторна

ЛОГІКА КОМБІНАТОРНА (від лат. combino — з'єдную) — спосіб побудови логічної системи з термами як послідовностями комбінаторів (аналогами функцій) і формулами як твердженнями про їх рівність.