n-ary predicate variable

基本解释

• [数学]ｎ元可变谓词

专业释义

数学

• ｎ元可变谓词