离散数学 - 图1 \neg neagtion operator 非运算符 否定