在谓词逻辑中,如果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))


Tag:素数 奇数 谓词 时间:2024-04-17 11:55:02