【单选题】

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

A.('x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}
B.($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}
C.($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
D.('x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}