下列说法正确的是

A．函数在其定义域上是减函数

B．两个三角形全等是这两个三角形面积相等的必要条件

C．命题“R，”的否定是“R，”

D．给定命题、，若是真命题，则是假命题