Advertisement

Advertisement

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.


Advertisement

Word of the Day

tortuous

[tawr-choo-uhs ]

Meaning and examples

Start each day with the Word of the Day in your inbox!

By clicking "Sign Up", you are accepting Dictionary.com Terms & Conditions and Privacy Policies.

Advertisement

Advertisement

Advertisement