Predicate logic

The study of logical relationships between statements that contain variables.