在谓词逻辑中,如果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)))
- 上一篇:CEO的岗位职责主要有:()
- 下一篇:系统开始后下面哪几个市场需要开发?()