离散数学习题,“用符号形式写出下列命题:仅当你走我将留下.”