First-order logic

A system of logic that includes propositions (sentences), truth-functional connectives,predicates, and quantifiers.