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