大前提中有全称量词的命题的否定形式怎么写?

对任意的X属于实数集,如果X大于2则X的平方大于4的否定是什么?

应该是：存在X属于实数集，使得X大于2时X的平方小于或等于4哈哈，其实我早知道。

不过不敢肯定大前提中的全称量词是否要该成特称量词而已