半命题和全命题有啥不一样