In a finite universe of discourse, one can represent the assignments of predicates with arity n by n-dimensional arrays.

在有穷论域下，可以用n维数组来表示对n元谓词的赋值。

youdao

In a finite universe of discourse, one can represent the assignments of predicates with arity n by n-dimensional arrays.

在有穷论域下，可以用n维数组来表示对n元谓词的赋值。

youdao