Dictionary.com
definitions
  • synonyms

bound variable

noun Logic.
  1. (in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier.
Show More
Compare free variable.
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018