数学基础-命题否定与等价转换