下列结论正确的是
A
若 $\varnothing \varsubsetneqq A \varsubsetneqq B$ ，则 $\exists x \notin A, x \in B$
B
若 $\varnothing \varsubsetneqq A \subseteq B$ ，则 $\forall x \notin A, x \notin B$
C
＂$\forall x>0, x^2>x$＂的否定是＂$\exists x>0, x^2 \leqslant x$＂
D
＂$\exists x \in \mathbf{N}^*, \frac{1}{x} \in \mathbf{N}^*$＂是真命题
E
F