绪论 单元测试

1、多选题:
本课程主要介绍哪些内容?
选项:
A:代数系统
B:二元关系
C:图论
D:数理逻辑
答案: 【代数系统;
二元关系;
图论 ;
数理逻辑

第一章 单元测试

1、判断题:
这个命题公式:为重言式。
选项:
A:错
B:对
答案: 【

2、多选题:
下列4个推理定律中,正确的是(    )
选项:
A:

B:

C:

D:

答案: 【

;

3、单选题:
设p:他学习刻苦,q:他优秀,命题“他不仅学习刻苦且优秀”的符号化正确的是(   )
选项:
A:

B:

C:

D:

答案: 【

4、单选题:
命题为假命题的是(  )
选项:
A:如果2是奇数,那么一个公式的析取范式不惟一。
B:如果2是奇数,那么一个公式的析取范式惟一。
C:如果2是偶数,那么一个公式的析取范式不惟一。
D:如果2是偶数,那么一个公式的析取范式惟一。
答案: 【如果2是偶数,那么一个公式的析取范式惟一。

5、单选题:
语句中不是命题的只有( )
选项:
A:学生都刻苦读书。
B:多么优秀的大学生活呀!
C:如果心情好,那么胃口就好。
D:人要在锻炼中成长。
答案: 【多么优秀的大学生活呀!

第二章 单元测试

1、判断题:
谓词公式的前束范式是唯一的。
选项:
A:对
B:错
答案: 【

2、多选题:
的前束范式是(     )
选项:
A:

B:

C:

D:

答案: 【

;

3、单选题:
设个体域A={a,b},公式"任意xP(x)在A中消去量词后应为(   )
选项:
A:P(b)
B:P(a)
C:

P(a)P(b)

D:

P(a)P(b)

答案: 【

P(a)P(b)

4、单选题:
令F(x):x是金属,G(y):y是液体,H(x,y):x可以溶解在y中,则命题“任何金属可以溶解在某种液体中”可符号化为( )
选项:
A:

B:

C:

D:

答案: 【

5、单选题:
设M(x):x是人,F(x):x犯错误,命题“所有的人都会犯错误。”符号化为(   )
选项:
A:

B:

C:

D:

答案: 【

发表评论

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