命题的否定和否命题的区别全称量词