中国大学MOOC: 下面哪个谓词逻辑的推理规则是不成立的（ ）
http://edu-image.nosdn.127.net/FB85CCEF77BF085CD35A642D4930B7CC.JPG?imageView&thumbnail=890x0&quality=100
举一反三
内容
- 0
下面哪个逻辑等价关系是不成立的（
- 1
谓词逻辑的推理中,[img=140x25]1803e03e0708eca.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 2
谓词逻辑的推理中,[img=140x25]1802f765b654acd.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 3
谓词逻辑的推理中,[img=140x25]18039d65044cfcc.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 4
谓词逻辑的推理中,[img=140x25]18036b397e46c57.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则