全称量词与全称命题和与《存在量词与特称命题》(北师大版选修1-1)