在逻辑中,一种返回真或假的运算符。
更多尝试
Weisstein, Eric W. "谓词。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Predicate.html