设y为论域中任一确定个体，那么推理规则(∀x)A(x) => A(y)可称为（）
A: US
B: ES
C: UG
D: EG
A: US
B: ES
C: UG
D: EG
举一反三
- 谓词逻辑的推理中,[img=140x25]1803e03e0708eca.png[/img]使用的是( )。 A: ES规则 B: US规则 C: UG规则 D: EG规则
- 谓词逻辑的推理中,[img=140x25]1802f765b654acd.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规则