In this case, any predicate that evaluates to true will work.

在这种情况下，任何值为true的谓词都可以。

youdao

Predicate is another common form of query expression that evaluates to either true or false.

Predicate是计算结果为true或false的常见查询表达式形式。

youdao

Finally, every state predicate was proved to be true.

最后，证明每个状态谓词为真。

youdao

Finally, every state predicate was proved to be true.

最后，证明每个状态谓词为真。

youdao