4.3 关系命题的逻辑训练