predicate logic: Mathematics/logic term for system of statements that are formally defined and can be evaluated to true/false (also known as First-order logic) </>