5.4 记录和命题