universal closure

formula without free variables obtained by adding a universal quantifier for every free variable

en-GB/ˌjuːnɪˈvɜːsəl ˈkləʊʒə/
en-US/ˌjunəˈvɝsəl ˈkloʊʒɚ/

ক্যাটাগরি:

sentenceclosure