全称量词与全称命题汇总