1.4.3 含有一个量词命题否定
引入1 经过前几节课学习，想想命题否定是否命题区分？
    否命题 是用否定条件也否定结论方式组成新命题.  命题否定 是逻辑联结词“非”作用于判断,只否定结论不否定条件.
    比如：命题“一个数末位是0，则它能够被5整除”.  否命题：若一个数末位不是0，则它不能够被5整除；  命题否定：存在一个数末位是0，不能够被5整除.