否数学中存在量词的否定,否命题,和否定形式分别是什么?

问题描述:

否数学中存在量词的否定,否命题,和否定形式分别是什么?
命题P 所有x属于R,X>sinx 则命题p的否定,否命题,否定形式分别是什么?

否定 存在X属于R,X小于等于sinx
否命题 所有X属于R,X小于等于sinx