noun
: an expression that contains one or more free variables and becomes a declarative sentence when constants are substituted for the variables (as in x is green, x is taller than y ) — compare proposition 3a
noun
: an expression that contains one or more free variables and becomes a declarative sentence when constants are substituted for the variables (as in x is green, x is taller than y ) — compare proposition 3a
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012