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 .