下列命题中，正确的是

A．命题“”的否定是“”

B．命题“为真”是命题“为真”的必要不充分条件

C．“若，则”的否命题为真

D．若实数，则满足的概率为