公式A=∃x(P(x)→Q(x))的解释I为:个体域D={2} P(x):x>3 Q(x):x=4 则A的真值为()。

公式A=∃x（P（x)→Q（x))的解释I为：个体域D={2｝，P（x)：x>3，Q（x)：x=4，则A的真值为（)。

A、1

B、0

C、可满足式

D、无法判定