离散数学 每一个带伞的人都不怕雨 这个怎么符号化啊