有4个命题：（1）没有男生爱踢足球；（2）所有男生都不爱踢足球；（3）至少有一个男生不爱踢足球；（4）所有女生都爱踢足球；其中是命题“所有男生都爱踢足球”的否定是（    ）。