first-order-logic Definition Free Variable (First-Order Logic) For a term , the set of free variables is: For a formula , the set of free variables is: