那个一横一竖的代表否命题还是命题的否定