首页 › 答案 › 题库 › 网课

在谓词逻辑中,如果P(x)表示“x是素数”,Q(x)表示“x是奇数”,那么“所有的素数都是奇数”可以表示为:

在谓词逻辑中,如果P(x)表示“x是素数”,Q(x)表示“x是奇数”,那么“所有的素数都是奇数”可以表示为:
A、?x(P(x)→Q(x))
B、?x(P(x)→Q(x))
C、?x(Q(x)→P(x))
D、?x(Q(x)→P(x))
正确答案:?x(P(x)→Q(x))