2.四谓词理论