Definition of Combinatory Logic: What are the rules for combinatory logic bases? One of the oldest branches in mathematical logic is combinatory logic. This field tries to understand the rules that govern when formulas are true or false when combined with other formulas. Combination is a mathematical term that means when two or more items are put together to form a new element. Put simply, combinatory logic is all about combining things in different ways. For ex. if you have A and B, you can combine them to get AB, BA, or ABB. Combinatory Logic is...