企源知识库

在指定的解释下，下列公式为真的是
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}
【正确答案】：A