文档库

最新最全的文档下载
当前位置:文档库 > 任务09答案

任务09答案

★ 形成性考核作业 ★

1

任务09答案

离散数学作业9

离散数学数理逻辑部分形成性考核书面作业

本课程形成性考核书面作业共3次,内容主要分别是图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。

要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成并上交任课教师(不收电子稿)。并在09任务界面下方点击“保存”和“交卷”按钮,以便教师评分。

一、单项选择题

1.设P :我将去市里,Q :我有时间.命题“我将去市里,仅当我有时间时”符号化为( B ).

A .P Q →

B .Q P →

C .Q P ↔

D .Q P ⌝∨⌝

2.设命题公式G :)(R Q P ∧→⌝,则使公式G 取真值为1的P ,Q ,R 赋值分别是 ( D ).

A .0, 0, 0

B .0, 0, 1

C .0, 1, 0

D .1, 0, 0

3.下列命题公式成立的为( D ).

A .⌝P ∧⌝Q ⇔P ∨Q

B .⌝B →A ⇔ A →B

C .P → Q ⇒Q

D .⌝A ∧ (A ∨B ) ⇒B

4.下列公式 ( 没答案 )为重言式.

A .P ∧Q ↔⌝P ∨Q

B .(B →(A ∨B )) ↔(⌝A ∧(A ∨B ))

C .⌝(P ∨Q )↔⌝P ∧⌝Q

D .A ∧⌝B ↔A ∨B

5.命题公式)(Q P →⌝的析取范式是( A ).

A .Q P ⌝∧

B Q P ∧⌝

C .Q P ∨⌝

D .Q P ⌝∨

6.设C (x ):x 是国家级运动员,G (x ):x 是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为 ( D ).

A .))()((x G x C x ⌝∧⌝∀

B .))()((x G x

C x ⌝→⌝∀

C .))()((x G x C x ⌝→⌝∃

D .))()((x G x C x ⌝∧⌝∃

7.表达式))(),(())(),((z zQ y x R y z Q y x P x ∀→∃∧∨∀中x ∀的辖域是( B ).

A .P (x , y )

B .P (x , y )∨Q (z )

C .R (x , y )

D .P (x , y )∧R (x , y )

8.谓词公式))()(()(x xQ x Q x x xP ⌝∃→⌝∀→∀的类型是( A ).

免费下载Word文档免费下载: 任务09答案

(共8页)