general statement
nounDefinition of general statement
: a statement in logic that contains one or more bound variables
—contrasted with singular statement