free and bound variables

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

Pronunciations

• British English

  /ˈfɹiː ən ˈbaʊnd ˈvɛəɹɪəbəlz/Open converter

• American English

  /ˈfɹi ˈænd ˈbaʊnd ˈvɛɹiəbəlz/Open converter

These IPA transcriptions are generated from the name above. Proper names may have other pronunciations, and current converter results may differ. How transcription works

Entity details on Wikidata

Categories: