在谓词逻辑中,如果F(x)表示“x是飞机”,G(x)表示“x是汽车”,H(x,y)表示“x比y快”,那么“有的飞机比汽车快”可以表示为:


在谓词逻辑中,如果F(x)表示“x是飞机”,G(x)表示“x是汽车”,H(x,y)表示“x比y快”,那么“有的飞机比汽车快”可以表示为:

A、?x(F(x)∧?y(G(y)→H(x,y)))

B、?x(F(x)∧?y(G(y)∧H(x,y)))

C、?x(F(x)→?y(G(y)∧H(x,y)))

D、?x(F(x)∧?y(G(y)∧H(x,y)))

正确答案:?x(F(x)∧?y(G(y)∧H(x,y)))


Tag:谓词 飞机 汽车 时间:2024-04-17 11:55:04