谓词逻辑的推理中,[img=140x25]1802f765b654acd.png[/img]使用的是( )。
A: ES规则
B: US规则
C: UG规则
D: EG规则
A: ES规则
B: US规则
C: UG规则
D: EG规则
举一反三
- 谓词逻辑的推理中,[img=140x25]1803e03e0708eca.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 谓词逻辑的推理中,[img=140x25]18039d65044cfcc.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 谓词逻辑的推理中,[img=140x25]18036b397e46c57.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 谓词逻辑的推理中,[img=140x25]180376e13fdcd8e.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 谓词逻辑的推理中,[img=140x25]1803a3ec043b7ad.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则