free variable

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

en-GB/ˈfɹiː ˈvɛəɹɪəbl/
en-US/ˈfɹi ˈvɛɹiəbəl/

Kategori:

variable