真谓词

truth-predicate