bound variable









bound variable


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.

Compare free variable.

Leave a Reply

Your email address will not be published. Required fields are marked *

46 queries 1.205