Original: In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
Simplified: Predicate logic is a system of mathematical logic.