2数理逻辑-命题逻辑1

单元2测验

1、单选题:

‎5. 语句形式化:“不管你去不去,我去”(:你去,:我去)

‎选项:
A:
B:
C:
D:
E:
答案: 【 ;

2、单选题:

​语句的形式化:“如果买不到薯条,他什么也不吃。”(:他买到薯条,:他吃饭)

‎选项:
A:
B:
C:
D:
E:
答案: 【 ;

3、单选题:
‎下面符号串哪个是命题公式?‏
选项:
A:
B:
C:
D:
E:
F:
答案: 【 ;
;

4、单选题:
‍下列符号串哪个不是命题公式?​
选项:
A:
B:
C:
D:
E:
F:
答案: 【 ;
;

5、单选题:
‎若p表示“a是偶数”,q表示“a是奇数”,r表示“a是素数”,s代表“a = 2”,那么“若a不是奇数且a不等于2,那么a不是素数”可以形式化为‎
选项:
A:
B:
C:
D:
E:
答案: 【 

6、单选题:

若假设p表示“天气好”,q表示“我骑自行车上班”,则以下命题可以用表示的是:

‌选项:
A: 只要我骑自行车上班,天气一定很好。
B: 只要天气不好,我就不骑自行车上班。
C: 如果我没骑自行车上班,则天气不好。
D: 我骑自行车上班当且仅当天气好。
答案: 【 如果我没骑自行车上班,则天气不好。

7、多选题:
‍下面哪个语句是命题?‌
选项:
A: 我明天或后天去天津。
B: 明天一定不会下雨。
C: 如果买不到机票,我哪儿也不去。
D: 请注意你的举止。
E: 今天怎么这么堵车!
F: 请问去故宫怎么走?
G: 祝大家新年快乐!
答案: 【 我明天或后天去天津。;
明天一定不会下雨。;
如果买不到机票,我哪儿也不去。

8、多选题:
‍下列语句哪个不是命题?‌
选项:
A: 再见朋友!
B: 明天会下雨么?
C:

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

发表评论

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