Mệnh đề phủ định của mệnh đề ​\(P: “\forall x \in \mathbb{R}:x >7”\) là:

A.  \(\overline P: “\exists x \in \mathbb{R}:x<7\)

B.  \(\overline P: “\exists x \in \mathbb{R}:x\le7\)

C.  \(\overline P: “\forall x \in \mathbb{R}:x<7\)

D.  \(\overline P: “\forall x \in \mathbb{R}:x\le7\)