3 数理逻辑-命题逻辑及形式系统

单元3测验

1、单选题:

‏下列哪个是的主析取范式?

‏选项:
A:
B:
C:
D:
E:
答案: 【 

2、单选题:
‍某案件有四名嫌疑犯,经调查得知‌‍(1)只有B是罪犯,C才是罪犯‌‍(2)如果C不是罪犯,那么D是罪犯‌‍(3)或者A是罪犯,或者B不是罪犯‌‍(4)A不是罪犯‌‍那么谁是罪犯?‌
选项:
A: D
B: B
C: C
D: 没有人是罪犯
E: C和D都是
F: A和C都是
答案: 【 D

3、单选题:
‌A,B,C,D四人中派两人出差,若A去则C,D中要去一人,B和C不能都去,C去则D要留下,那么一共有多少种派法?​‌​
选项:
A: 3
B: 2
C: 1
D: 4
E: 0
答案: 【 3

4、单选题:
‏张三说李四在说谎,李四说王五在说谎,王五说张三和李四都在说谎。到底谁在说谎?​
选项:
A: 只有张三
B: 只有李四
C: 张三和王五
D: 只有王五
E: 李四和王五
F: 张三和李四
答案: 【 张三和王五

5、单选题:
​以下选项错误的为‌
选项:
A:
B:
C: (t代表永真式)
D:
答案: 【 

6、多选题:
‎勾选下列命题公式中的重言式‍
选项:
A:
B:
C:
D:
E:
答案: 【 ;
;

7、多选题:
‌勾选下列所有正确的逻辑等价式‌
选项:
A:
B:
C:
D:
答案: 【 ;
;

8、多选题:
‌以下说法正确的有‍
选项:
A: 悉非记号是功能完备的
B: 是功能完备集
C: 是功能完备集,且是极小的
D: 是功能完备集
E: 是功能完备集
答案: 【 悉非记号是功能完备的;
是功能完备集;
是功能完备集,且是极小的

9、多选题:
​以下说法错误的有‏
选项:

剩余75%内容付费后可查看

发表评论

电子邮件地址不会被公开。 必填项已用*标注