in logic and philosophy, predicate logic is a system of mathematical logic. it uses predicates to express the state of certain things, which are "incomplete propositions" with a placeholder for objects or subjects that must be inserted in order to obtain a valid proposition.