Buy Me a Coffee at ko-fi.com

Free and bound variables

classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier

Pronunciation
/fri ænd baʊnd ˈvɛriəbəlz/
/friː ənd baʊnd ˈvɛːrɪəbəlz/