first-order-logic Definition Syntax of First-Order Logic The syntax of first-order logic is defined by the inductive formation rules for formulas and terms.