Buy Me a Coffee at ko-fi.com

Free variable

variable in a logic formula which is not inside the scope of a quantifier

Pronunciation
/friː ˈvɛːrɪəbəl/
/fri ˈvɛriəbəl/
Categories