7、关系命题及其推理