8分第2题：每个5分，共10分第3题：每个6分，共12分参考答案如下： 】 第五
【作业】第一讲 集合论基础 集合论作业
1、 问题:
集合论单项选择题1．若集合A={a，b}，B={ a，b，{ a，b }}，则（ ）． A．AÌB，且AÎB B．AÎB，但AËB C．AÌB，但AÏB D．AËB，且AÏB2．若集合A＝{2，a，{ a }，4}，则下列表述正确的是( )． A．{a，{ a }}ÎA B．{ a }ÍA C．{2}ÎA D．ÆÎA3．若集合A＝{ a，{a}，{1，2}}，则下列表述正确的是( )． A．{a，{a}}ÎA B．{2}ÍAC．{a}ÍA D．ÆÎA4．若集合A={a，b，{ 1，2 }}，B={ 1，2}，则（ ）． A．B Ì A，且BÎA B．BÎ A，但BËA C．B Ì A，但BÏA D．BË A，且BÏA 5．设集合A = {1， a }，则P(A) = ( )． A．{{1}， {a}} B．{Æ，{1}， {a}} C．{Æ，{1}，{a}， {1， a }} D．{{1}， {a}， {1， a }}
评分规则: 【 每个选择题20分参考答案如下：1 A 2 B 3 C 4 B 5 C
】
【作业】第二讲 命题逻辑 （第一部分） 命题逻辑（第一部分）作业
1、 问题:
评分规则: 【 第1题：5分第2题：每道小题3分，共12分第3题：每道小题5分，共15分第4题：8分参考答案：
】
【作业】第三讲 命题逻辑 （第二部分） 命题逻辑（第二部分）作业
1、 问题: 
评分规则: 【 第1题：8分第2题：每小题8分，共16分第3题：每小题8分，共16分参考答案如下：
】
【作业】第四讲 谓词逻辑 （第一部分） 谓词逻辑（第一部分）作业
1、 问题:
评分规则: 【 第1题：每个3分，共18分第2题：每个5分，共10分第3题：每个6分，共12分参考答案如下：
】
第五讲 谓词逻辑 （第二部分） 集合论和数理逻辑单元测验
1、 问题:下列句子为真命题的是( )。
选项：
A:雪是黑色的，当且仅当5<0
B:自然数中存在最大素数
C:今天天气真好呀
D:只有5<0，雪才是白色的
答案: 【雪是黑色的，当且仅当5<0】
2、 问题:下列语句是假命题的是( )。
选项：
A:如果3是偶数，那么1/3就是有理数
B:只要3是偶数，1/3就是有理数
C:除非1/3是有理数，否则3不是偶数
D:只有3是偶数，1/3才是有理数
答案: 【只有3是偶数，1/3才是有理数】
3、 问题:设
：天下大雨 
：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符号化为( )。
选项：
A:
B:
C:
D:
答案: 【】
4、 问题:设：他聪明，：他成绩好，命题“他虽聪明但成绩不好”可符号化为( )。
选项：
A:
B:
C:
D:
答案: 【】
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、 问题:下列为两个命题变元，的极小项是( )。
选项：
A:
B:
C:
D:
答案: 【】
11、 问题:设论域为
，则与公式
等价的是( )。
选项：
A:
B:
C:
点击这里，查看后续答案①
点击这里，查看后续答案②（阿布查查更好用）
讲 谓词逻辑 （第二部分） 集合论和数理逻辑单元测验 1、 问题:下列句子为真命