Predicate logic is a system of mathematical logic .
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 .