下列说法正确的是（   ）

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

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

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

D：给定命题、