判断两个命题的等价关系的问题