Relational Logic is that branch of mathematics concerned with individual objects and their interrelationships. Symbols in the language of Relational Logic represent objects and functions and relations, and complex sentences in the language express their interrelationships.