A包含于B互推符号 写出3个等价命题