電大離散數(shù)學(xué)網(wǎng)絡(luò)課程形成性考核第6次形考任務(wù)

1、★ 形成性考核作業(yè) ★1離散數(shù)學(xué)作業(yè) 離散數(shù)學(xué)作業(yè) 6離散數(shù)學(xué)數(shù)理邏輯部 離散數(shù)學(xué)數(shù)理邏輯部分形成性考核書面作業(yè) 形成性考核書面作業(yè)本課程形成性考核書面作業(yè)共 3 次，內(nèi)容主要分別是集合論部分、圖論部分、數(shù)理邏輯部分的綜合練習(xí)，基本上是按照考試的題型（除單項選擇題外）安排練習(xí)題目，目的是通過綜合性書面作業(yè)，使同學(xué)自己檢驗學(xué)習(xí)成果，找出掌握的薄弱知識點，重點復(fù)習(xí)，爭取盡快掌握．本次形考書面作業(yè)是第三次作業(yè)，大家要認真及時地完成數(shù)理邏輯部分

2、的綜合練習(xí)作業(yè)．要求： 要求：學(xué)生提交作業(yè)有以下三種方式可供選擇：1. 可將此次作業(yè)用 A4 紙打印出來，手工書寫答題，字跡工整，解答題要有解答過程，完成作業(yè)后交給輔導(dǎo)教師批閱．2. 在線提交 word 文檔3. 自備答題紙張，將答題過程手工書寫，并拍照上傳．一、填空題 一、填空題1．命題公式 的真值是 1 或 T ． ( ) P Q P ? ?2．設(shè) P：他生病了，Q：他出差了．R：我同意他不參加學(xué)習(xí). 則命題“如果他生病

3、或出差了，我就同意他不參加學(xué)習(xí)”符號化的結(jié)果為 P∨Q→R ．3．含有三個命題變項 P，Q，R 的命題公式 P?Q 的主析取范式是 (P?Q?┐R) ∨(P?Q?R) 4．設(shè) P(x)：x 是人，Q(x)：x 去上課，則命題“有人去上課．” 可符號化 為 ? x ( P ( x) ∧ Q ( x)) ．5．設(shè)個體域 D＝{a, b},那么謂詞公式 消去量詞后的

4、等值式為 ) ( ) ( y yB x xA ? ? ?(A(a) ∨A(b)) ∨ (B(a) ∧B(b)) ．6．設(shè)個體域 D＝{1, 2, 3}，A(x)為“x 大于 3”，則謂詞公式(?x)A(x) 的真值為 0 ．7．謂詞命題公式(?x)((A(x)?B(x)) ?C(y))中的自由變元為 y ．8．謂詞命題公式(?x)(P(x) ?

5、Q(x) ?R(x，y))中的約束變元為 x ．姓 名： 名： 王稼駿 王稼駿 學(xué) 號： 號：1815001209149 得 分： 分： 教師簽名： 教師簽名： ★ 形成性考核作業(yè) ★3則謂詞公式為 則謂詞公式為 (?x)(P(x) →Q(x))四、判斷說明題（判斷下列各題，并說明理由．）1．命題公式?P?P 的

6、真值是 1．解：不正確，┐ 解：不正確，┐P∧P 的真值是 的真值是 0，它是一個永假式，命題公式中的否定律 ，它是一個永假式，命題公式中的否定律就是┐ 就是┐P∧P=F2．(?x)(P(x)→Q(y)∧R(z))中的約束變元為 y． 解：不正確。該式中的約束變元為 解：不正確。該式中的約束變元為 x。3．謂詞公式 中?x 量詞的轄域為 ) , , ( ) ( ) , ( ) ( z y x Q z y x P x ? ? ?． ( ,

7、 ) ( ) ( , , ) P x y z Q x y z ? ?解：錯誤。謂詞公式 解：錯誤。謂詞公式 中?x 量詞的轄域為 量詞的轄域為 P（x， ) , , ( ) ( ) , ( ) ( z y x Q z y x P x ? ? ?y）。 ）。4．下面的推理是否正確，請給予說明．(1) (?x)A(x)? B(x) 前提引入(2) A(y) ?B(y)