在指定的解释下，下列公式为真的是（)。

A.(∀x)(P(x)VQ(x)),P(x):x=1,Q(x):=2,论域:{1,2}

B.(∃x)(P(x)∧Q(x)):P(x):x=1,Q(x):=2,论域:{1,2}

C.(∃x)(P(x)→Q(x)):P(x):x＞2,Q(x):=0,论域:{3,4}

D.(∀x)(P(x)→Q(x)):P(x):x＞2,Q(x):=0,论域:{3,4}