combinatory logic

noun

: a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols

The Ultimate Dictionary Awaits

Expand your vocabulary and dive deeper into language with Merriam-Webster Unabridged.

1. Expanded definitions
2. Detailed etymologies
3. Advanced search tools
4. All ad-free

Discover what makes Merriam-Webster Unabridged the essential choice for true word lovers.

Start Your Free Trial Now