填空题 谓词公式是 式，是 式，是 式。