全称量命题