单项选择题

下列推演使用初始规则一步可得的是

A．从"x"y"z(Rxy∧Ryz→Rxz)推出Rxy∧Ryz→Rxz
B．从$x"y"z(Rxy∧Ryz→Rxz)推出"y"z(Rxy∧Ryz→Rxz)
C．从"x"y"z(Rxy∧Ryz→Rxz)推出"x"y(Rxy∧Ryz→Rxz)
D．从"x"y"z(Rxy∧Ryz→Rxz)推出$w"x"y"z(Rxy∧Ryz→Rxz)

你可能感兴趣的试题

单项选择题

反映的公路宽窄的是公路的（）图。 A. 平面 B. 纵断面 C. 横断面 D. 剖面

单项选择题

亚投行是第一个由中国主导的国际组织。

A．对
B．错

下列推演使用初始规则一步可得的是

你可能感兴趣的试题

反映的公路宽窄的是公路的（ ）图。 A. 平面 B. 纵断面 C. 横断面 D. 剖面

亚投行是第一个由中国主导的国际组织。

反映的公路宽窄的是公路的（）图。 A. 平面 B. 纵断面 C. 横断面 D. 剖面