5 / 10

谓词公式是() 。