The universe of discourse consists of denumerably many individuals.
话语世界由许多个可数的个体组成。
In a finite universe of discourse, one can represent the assignments of predicates with arity n by n-dimensional arrays.
在有穷论域下，可以用n维数组来表示对n元谓词的赋值。
In a finite universe of discourse, one can represent the assignments of predicates with arity n by n-dimensional arrays.
在有穷论域下，可以用n维数组来表示对n元谓词的赋值。
应用推荐