下载APP
【单选题】
在自然推理系统N L 中,若有前提: xF(x)→ y((F(y)∨G(y))→R(y)), xF(x),则以下结论正确的是( )。
A.
xR(x)
B.
F(x)
C.
R(x)
D.
xF(x)
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】已知室温Agl的Ksp=8.51×10-17，[Ag（NH3）2]+的Ksp=1.12×107，则此时有关下述反应的结论正确的是（）。
A.
K=9.53×10-10
B.
K=7.60×10-24
C.
K=1.32×1023
D.
只要氨水的浓度足够，Agl可以溶解于氨水之中
【单选题】软件工程开发的可行性研究是决定软件项目是否继续开发的关键，而可行性研究的结论主要相关于( )。
A.
软件系统目标
B.
软件的性能
C.
软件的功能
D.
软件的机构属性
【单选题】在自然推理系统N L 中,若有前提: x(F(x)→G(x)), x(F(x)∧H(x)),则以下结论正确的是( )。
A.
G(x)
B.
H(x)
C.
xF(x)
D.
x(G(x)∧H(x))