Predicate logic

A formal system for expressing the logical relationships between objects and their properties.