位置: 等价命题,关于等价命题的所有信息