3.1全称量词与全称命题