Predicate logic

The study of logical relations between predicates.