下列说法正确的是（ ）

A．命题“存在，”的否定是“任意，”

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

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

D．给定命题，若“且”是真命题，则是假命题