全称命题与特称命题的应用