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