4. 论全称命题