大前提中有全称量词的命题的否定形式怎么写?对任意的X属于实数集,如果X大于2则X的平方大于4的否定是什么?应该是：存在X属于实数集，使得X大于2时X的平方小于或等于4哈哈，其实我早知

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

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

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

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