⑴没有男生爱踢足球;
⑵所有男生都不爱踢足球;
⑶至少有一个男生不爱踢足球;
⑷所有女生都爱踢足球;
其中是命题“所有男生都爱踢足球”的否定是( )
①命题“所有的四边形都是矩形”是存在量词命题;②命题“”是全称量词命题;③命题“”的否定为“”;④命题“是的必要条件”是真命题;