第八章单元测试

当前位置：首页 ＞课程 ＞实验逻辑学

1、

A、对
B、错

参考答案：请扫码使用小程序查看答案

2、

A、对
B、错

参考答案：请扫码使用小程序查看答案

3、

A、对
B、错

参考答案：请扫码使用小程序查看答案

4、

A、对
B、错

参考答案：请扫码使用小程序查看答案

5、没有前提的一个证明表明它是系统的一条（ ）。

A、逻辑后承
B、矛盾式
C、可满足式
D、定理

参考答案：请扫码使用小程序查看答案

6、

A、
B、
C、
D、

参考答案：请扫码使用小程序查看答案

7、

A、
B、
C、
D、

参考答案：请扫码使用小程序查看答案

8、

A、
B、
C、
D、

参考答案：请扫码使用小程序查看答案

9、

A、
B、
C、
D、

参考答案：请扫码使用小程序查看答案

10、从前提P1，P2得到的一个矛盾^的证明，表明（ ）是不一致的。

A、
B、
C、
D、

参考答案：请扫码使用小程序查看答案

实验逻辑学