Study of predicates, quantifiers, and predicate algebra in discrete mathematics, focusing on defining predicates, using quantifiers, and rules in predicate algebra