谓词要么为真，要么为假。