一道关于特称命题和全称命题的综合应用题