離散數(shù)學(xué)是研究離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)模型的數(shù)學(xué).ppt

《離散數(shù)學(xué)是研究離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)模型的數(shù)學(xué).ppt》由會(huì)員分享，可在線閱讀，更多相關(guān)《離散數(shù)學(xué)是研究離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)模型的數(shù)學(xué).ppt（56頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1,屈婉玲耿素云張立昂,2,前言,離散數(shù)學(xué)是研究離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)模型的數(shù)學(xué)分支的統(tǒng)稱.是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的核心基礎(chǔ)課程.,“離散”和“連續(xù)”之間的對(duì)立與統(tǒng)一是數(shù)學(xué)發(fā)展的重要?jiǎng)恿χ?古代數(shù)學(xué)主要討論整數(shù)等離散與離散化了的數(shù)量關(guān)系，因而，那時(shí)數(shù)學(xué)被看成是研究上述數(shù)量關(guān)系的科學(xué).但隨著數(shù)學(xué)理論的發(fā)展，處理離散數(shù)量關(guān)系的數(shù)學(xué)工具在刻畫和處理某類事務(wù)方面顯得無能為力，因此出現(xiàn)了處理連續(xù)數(shù)量關(guān)系的數(shù)學(xué)工具：微積分.,3,近代數(shù)學(xué)主要以研究連續(xù)數(shù)量關(guān)系及其數(shù)學(xué)結(jié)構(gòu)、數(shù)學(xué)模型，并取得了極其輝煌的成果，這一特征一直延續(xù)至今，仍在現(xiàn)代數(shù)學(xué)中占據(jù)支配地位（人們現(xiàn)在仍在學(xué)習(xí)微積分等經(jīng)典數(shù)學(xué)理論）.,4,然而，近半個(gè)世紀(jì)以來，計(jì)算機(jī)的飛速發(fā)展與廣泛應(yīng)用，極大地沖擊了現(xiàn)代數(shù)學(xué).由于計(jì)算機(jī)是一個(gè)離散結(jié)構(gòu)，它只能處理離散或離散化了的數(shù)量關(guān)系，因此，無論是計(jì)算機(jī)科學(xué)本身，還是與計(jì)算機(jī)科學(xué)極其應(yīng)用密切相關(guān)的現(xiàn)代科學(xué)領(lǐng)域，都面臨如何更有效地處理離散的對(duì)象和離散的數(shù)量關(guān)系，如何對(duì)離散結(jié)構(gòu)建立數(shù)學(xué)模型以及如何將已用連續(xù)數(shù)量關(guān)系建立起來的數(shù)學(xué)模型離散化，從而可由計(jì)算機(jī)來加以處理.,5,計(jì)算機(jī)科學(xué)以研究計(jì)算領(lǐng)域中的一些普遍規(guī)律為其基本任務(wù)，在此過程中，涉及和應(yīng)用了很多現(xiàn)代數(shù)學(xué)，所以需要以近代數(shù)學(xué)作為工具.離散數(shù)學(xué)的內(nèi)容一直隨著計(jì)算機(jī)科學(xué)的發(fā)展而不斷得到擴(kuò)充與更新.同時(shí)，離散數(shù)學(xué)也促進(jìn)了計(jì)算機(jī)技術(shù)和計(jì)算機(jī)科學(xué)的發(fā)展.在計(jì)算機(jī)發(fā)展初期，人們利用布爾代數(shù)理論研究開關(guān)電路，建立了一套完整的數(shù)理邏輯理論，對(duì)計(jì)算機(jī)邏輯設(shè)計(jì)起了很大作用.,于是，人們開始從新認(rèn)識(shí)離散數(shù)量關(guān)系的研究意義，重新重視討論離散數(shù)量關(guān)系的數(shù)學(xué)分枝，并取得新的發(fā)展.,6,此外，在計(jì)算機(jī)科學(xué)中普遍采用離散數(shù)學(xué)中的基本概念、基本思想和方法.例如，集合論的概念和方法，抽象代數(shù)的概念和方法等，在計(jì)算機(jī)科學(xué)的各個(gè)領(lǐng)域隨處都能碰到.所有這些都使得離散數(shù)學(xué)在計(jì)算機(jī)科學(xué)中的地位和作用越來越重要，成了必不可少的工具.因此有人把離散數(shù)學(xué)稱為“計(jì)算機(jī)數(shù)學(xué)”.,7,離散數(shù)學(xué)的內(nèi)容涵蓋很廣，到目前為止，它包括的主要內(nèi)容有：集合論、數(shù)理邏輯、抽象代數(shù)、圖論、自動(dòng)機(jī)理論等.它們廣泛應(yīng)用于計(jì)算機(jī)科學(xué)的研究中，也大量應(yīng)用于數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、數(shù)據(jù)庫(kù)理論等后續(xù)課程中.在物理、化學(xué)、生物等自然科學(xué)以及經(jīng)濟(jì)、教育等社會(huì)科學(xué)中，也正在獲得廣泛應(yīng)用，有人預(yù)計(jì)，未來社會(huì)將有越來越多的人學(xué)習(xí)離散數(shù)學(xué)，就像當(dāng)今人們學(xué)習(xí)微積分一樣.,8,,第一部分?jǐn)?shù)理邏輯第一章命題邏輯的基本概念第二章命題邏輯等值演算第三章命題邏輯的推理理論第四章一階邏輯基本概念第五章一階邏輯等值演算與推理,第二部分集合論第六章集合代數(shù)第七章二元關(guān)系第八章函數(shù),第三部分代數(shù)結(jié)構(gòu)第九章代數(shù)系統(tǒng)第十章群與環(huán)第十一章格與布爾代數(shù),第四部分圖論第十四章圖的基本概念第十五章歐拉圖與哈密頓圖第十六章樹第十七章平面圖第十八章二分圖,,,主要內(nèi)容,9,主要內(nèi)容命題邏輯基本概念命題邏輯等值演算命題邏輯推理理論一階邏輯基本概念一階邏輯等值演算與推理,第一部分?jǐn)?shù)理邏輯,10,數(shù)理邏輯是用數(shù)學(xué)的方法來研究人類推理過程的一門數(shù)學(xué)學(xué)科.,其顯著特征是符號(hào)化和形式化，即把邏輯所涉及的“概念、判斷、推理”用符號(hào)來表示，用公理體系來刻劃,并基于符號(hào)串形式的演算來描述推理過程的一般規(guī)律.,又稱符號(hào)邏輯、現(xiàn)代邏輯.,11,第一章命題邏輯的基本概念,主要內(nèi)容命題與聯(lián)結(jié)詞命題及其分類聯(lián)結(jié)詞與復(fù)合命題命題公式及其賦值,12,命題與真值命題：判斷結(jié)果唯一的陳述句命題的真值：判斷的結(jié)果真值的取值：真與假真命題與假命題注意：感嘆句、祈使句、疑問句都不是命題陳述句中的悖論，判斷結(jié)果不唯一確定的不是命題,1.1命題與聯(lián)結(jié)詞,13,例1下列句子中那些是命題？(1)是有理數(shù).(2)2+5=7.(3)x+5>3.(4)你去教室嗎？(5)這個(gè)蘋果真大呀！(6)請(qǐng)不要講話！(7)2050年元旦下大雪.(8)我說的這句話假.,假命題,命題概念,真命題,不是命題,不是命題,不是命題,不是命題,命題，但真值現(xiàn)在不知道,不是命題（悖論）,14,,命題分類：簡(jiǎn)單命題（也稱原子命題）與復(fù)合命題簡(jiǎn)單命題符號(hào)化用小寫英文字母p,q,r,…,pi,qi,ri(i?1)表示簡(jiǎn)單命題用“1”表示真，用“0”表示假例如，令p：是有理數(shù)，則p的真值為0，q：2+5=7，則q的真值為1,命題分類,15,否定、合取、析取聯(lián)結(jié)詞,定義1.1設(shè)p為命題，復(fù)合命題“非p”(或“p的否定”)稱為p的否定式，記作?p，符號(hào)?稱作否定聯(lián)結(jié)詞.規(guī)定?p為真當(dāng)且僅當(dāng)p為假.,可用下表來規(guī)定否定詞“┐”的意義:,16,定義1.2設(shè)p,q為兩個(gè)命題，復(fù)合命題“p并且q”(或“p與q”)稱為p與q的合取式，記作p∧q，∧稱作合取聯(lián)結(jié)詞.規(guī)定p∧q為真當(dāng)且僅當(dāng)p與q同時(shí)為真.,可用下表來規(guī)定合取詞“∧”的意義：,17,定義1.3設(shè)p,q為兩個(gè)命題，復(fù)合命題“p或q”稱作p與q的析取式，記作p∨q，∨稱作析取聯(lián)結(jié)詞.規(guī)定p∨q為假當(dāng)且僅當(dāng)p與q同時(shí)為假.,可用下表來規(guī)定析取詞“∨”的意義：,18,例2將下列命題符號(hào)化.(1)吳穎既用功又聰明.(2)吳穎不僅用功而且聰明.(3)吳穎雖然聰明，但不用功.(4)張輝與王麗都是三好生.(5)張輝與王麗是同學(xué).,合取聯(lián)結(jié)詞的實(shí)例,19,解令p:吳穎用功,q:吳穎聰明(1)p?q(2)p?q(3)?p?q(4)設(shè)p:張輝是三好生,q:王麗是三好生p?q(5)p:張輝與王麗是同學(xué)(1)—(3)說明描述合取式的靈活性與多樣性(4)—(5)要求分清“與”所聯(lián)結(jié)的成分,合取聯(lián)結(jié)詞的實(shí)例,20,例3將下列命題符號(hào)化(1)2或4是素?cái)?shù).(2)2或3是素?cái)?shù).(3)4或6是素?cái)?shù).(4)小元元只能拿一個(gè)蘋果或一個(gè)梨.(5)王小紅生于1975年或1976年.,析取聯(lián)結(jié)詞的實(shí)例,21,解(1)令p:2是素?cái)?shù),q:4是素?cái)?shù),p?q(2)令p:2是素?cái)?shù),q:3是素?cái)?shù),p?q(3)令p:4是素?cái)?shù),q:6是素?cái)?shù),p?q(4)令p:小元元拿一個(gè)蘋果,q:小元元拿一個(gè)梨(p??q)?(?p?q)(5)p:王小紅生于1975年,q:王小紅生于1976年,(p??q)?(?p?q)或p?q(1)—(3)為相容或，即當(dāng)p和q均真時(shí)，確認(rèn)p∨q為真.在日常生活中，“或”在有的場(chǎng)合下不同于上述意義.,析取聯(lián)結(jié)詞的實(shí)例,22,例如“人固有一死，或重于泰山，或輕于鴻毛”.其中的“或”是排斥的，即當(dāng)發(fā)現(xiàn)有人的死既重于泰山又輕于鴻毛時(shí)，上述論斷被認(rèn)為假.這里的“或”用∨表示不合適.可用下表規(guī)定的新聯(lián)結(jié)詞“排斥或”∨表示之.,∨,23,(4)—(5)為排斥或,但是，像上述場(chǎng)合一樣的許多場(chǎng)合下，兩個(gè)析取命題事實(shí)上不可能同時(shí)為真，即上表的末行根本無需定義，這時(shí)用∨代替∨就沒有問題，并且能使語(yǔ)句的表示簡(jiǎn)化.例如“a>0或a=0或a0∨a=0∨a0∨a=0∨a<0”.符號(hào)化時(shí)(5)可有兩種形式，而(4)則不能,24,蘊(yùn)涵聯(lián)結(jié)詞,定義1.4設(shè)p,q為兩個(gè)命題，復(fù)合命題“如果p,則q”稱作p與q的蘊(yùn)涵式，記作p?q，并稱p是蘊(yùn)涵式的前件，q為蘊(yùn)涵式的后件，?稱作蘊(yùn)涵聯(lián)結(jié)詞.規(guī)定：p?q為假當(dāng)且僅當(dāng)p為真q為假.,可用下表來規(guī)定該蘊(yùn)涵詞“→”的意義：,25,(1)p?q的邏輯關(guān)系：q為p的必要條件(2)“如果p,則q”有很多不同的表述方法：若p，就q只要p，就qp僅當(dāng)q只有q才p除非q,才p或除非q，否則非p，…．(3)當(dāng)p為假時(shí)，p?q恒為真，稱為空證明(4)常出現(xiàn)的錯(cuò)誤：不分充分與必要條件,26,例4設(shè)p：天冷，q：小王穿羽絨服，將下列命題符號(hào)化(1)只要天冷，小王就穿羽絨服.(2)因?yàn)樘炖?，所以小王穿羽絨服.(3)若小王不穿羽絨服，則天不冷.(4)只有天冷，小王才穿羽絨服.(5)除非天冷，小王才穿羽絨服.(6)除非小王穿羽絨服，否則天不冷.(7)如果天不冷，則小王不穿羽絨服.(8)小王穿羽絨服僅當(dāng)天冷的時(shí)候.,蘊(yùn)涵聯(lián)結(jié)詞的實(shí)例,p?q,注意：p?q與?q??p等值（真值相同）,p?q,p?q,q?p,q?p,p?q,q?p,q?p,27,注意:上述規(guī)定的蘊(yùn)涵詞稱為實(shí)質(zhì)蘊(yùn)涵，因?yàn)樗灰髉→q中的p，q有什么關(guān)系，只要p，q為命題，p→q就有意義.例如“如果2+2=5，那么雪是黑的”，就是一個(gè)有意義的命題，且據(jù)定義其真值為“真”.,28,,定義1.5設(shè)p,q為兩個(gè)命題，復(fù)合命題“p當(dāng)且僅當(dāng)q”稱作p與q的等價(jià)式，記作p?q，?稱作等價(jià)聯(lián)結(jié)詞.規(guī)定p?q為真當(dāng)且僅當(dāng)p與q同時(shí)為真或同時(shí)為假.p?q的邏輯關(guān)系：p與q互為充分必要條件,等價(jià)聯(lián)結(jié)詞,可用下表來規(guī)定該雙向蘊(yùn)涵詞“?”的意義：,29,例5求下列復(fù)合命題的真值(1)2+2＝4當(dāng)且僅當(dāng)3+3＝6.(2)2+2＝4當(dāng)且僅當(dāng)3是偶數(shù).(3)2+2＝4當(dāng)且僅當(dāng)太陽(yáng)從東方升起.(4)2+2＝4當(dāng)且僅當(dāng)美國(guó)位于非洲.(5)函數(shù)f(x)在x0可導(dǎo)的充要條件是它在x0連續(xù).,1,0,1,0,0,30,本小節(jié)中p,q,r,…均表示命題.,聯(lián)結(jié)詞集為{?,?,?,?,?}，?p,p?q,p?q,p?q,p?q為基本復(fù)合命題.其中要特別注意理解p?q的涵義.反復(fù)使用{?,?,?,?,?}中的聯(lián)結(jié)詞組成更為復(fù)雜的復(fù)合命題.設(shè)p:是無理數(shù)，q:3是奇數(shù)，r:蘋果是方的，s:太陽(yáng)繞地球轉(zhuǎn)則復(fù)合命題(p?q)?((r??s)??p)是假命題.,小結(jié),聯(lián)結(jié)詞的運(yùn)算順序：?,?,?,?,?,同級(jí)按先出現(xiàn)者先運(yùn)算.,31,1.2命題公式及其賦值,命題變項(xiàng)與合式公式命題變項(xiàng)合式公式合式公式的層次公式的賦值公式賦值真值表,32,命題變項(xiàng)與合式公式,命題常項(xiàng)：表示具體命題及表示常命題的統(tǒng)稱命題常項(xiàng)命題變項(xiàng)（命題變?cè)阂浴罢妗⒓佟被颉?，0”為取值范圍的變?cè)?，它未指出符?hào)所表示的具體命題.常項(xiàng)與變項(xiàng)均用p,q,r,…,pi,qi,ri,…,等表示.,定義1.6合式公式（簡(jiǎn)稱公式）的遞歸定義：(1)單個(gè)命題變項(xiàng)和命題常項(xiàng)是合式公式,稱作原子命題公式(2)若A是合式公式，則(?A)也是(3)若A,B是合式公式，則(A?B),(A?B),(A?B),(A?B)也是(4)只有有限次地應(yīng)用(1)—(3)形成的符號(hào)串才是合式公式,約定公式最外層和不影響運(yùn)算次序的括號(hào)可省去.,33,合式公式的層次,定義1.7(1)若公式A是單個(gè)命題變項(xiàng)，則稱A為0層公式.(2)稱A是n+1(n≥0)層公式是指下面情況之一：(a)A=?B,B是n層公式；(b)A=B?C,其中B,C分別為i層和j層公式，且n=max(i,j)；(c)A=B?C,其中B,C的層次及n同(b)；(d)A=B?C,其中B,C的層次及n同(b)；(e)A=B?C,其中B,C的層次及n同(b).(3)若公式A的層次為k,則稱A為k層公式.例如公式A=p,B=?p,C=?p?q,D=?(p?q)?r,E=((?p?q)?r)?(?r?s)分別為0層，1層，2層，3層，4層公式.,34,定義1.8設(shè)p1,p2,…,pn是出現(xiàn)在公式A中的全部命題變項(xiàng),給p1,p2,…,pn各指定一個(gè)真值,稱為對(duì)A的一個(gè)賦值或解釋.若使A為1,則稱這組值為A的成真賦值;若使A為0,則稱這組值為A的成假賦值.幾點(diǎn)說明：A中僅出現(xiàn)p1,p2,…,pn，給A賦值?=?1?2…?n是指p1=?1,p2=?2,…,pn=?n,?i=0或1,?i之間不加標(biāo)點(diǎn)符號(hào)A中僅出現(xiàn)p,q,r,…,給A賦值?1?2?3…是指p=?1,q=?2,r=?3…含n個(gè)命題變項(xiàng)的公式有2n個(gè)賦值.如000,010,101,110是?(p?q)?r的成真賦值001,011,100,111是成假賦值.,公式賦值,35,定義1.9將命題公式A在所有賦值下取值的情況列成表,稱作A的真值表.構(gòu)造真值表的步驟:(1)找出公式中所含的全部命題變項(xiàng)p1,p2,…,pn(若無下角標(biāo)則按字母順序排列),列出2n個(gè)全部賦值,從00?0開始,按二進(jìn)制加法,每次加1,直至11?1為止.(2)按從低到高的順序?qū)懗龉降母鱾€(gè)層次.(3)對(duì)每個(gè)賦值依次計(jì)算各層次的真值,直到最后計(jì)算出公式的真值為止.,真值表,36,例6寫出下列公式的真值表,并求它們的成真賦值和成假賦值:(1)(p?q)??r(2)(q?p)?q?p(3)?(?p?q)?q,真值表,37,(1)A=(p?q)??r,成真賦值:000,001,010,100,110;成假賦值:011,101,111,真值表1,38,(2)B＝(q?p)?q?p,成真賦值:00,01,10,11;無成假賦值,真值表2,39,(3)C＝?(?p?q)?q的真值表,成假賦值:00,01,10,11;無成真賦值,真值表3,40,語(yǔ)句形式化要注意以下幾個(gè)方面：,①要準(zhǔn)確確定原子命題，并將其形式化.,②要選用恰當(dāng)?shù)穆?lián)結(jié)詞，尤其要善于識(shí)別自然語(yǔ)言中的聯(lián)結(jié)詞（有時(shí)它們被省略），否定詞的位置要放準(zhǔn)確.,③必要時(shí)可以進(jìn)行改述，即改變?cè)瓉淼臄⑹龇绞?，但要保證表達(dá)意思一致.,④需要的括號(hào)不能省略，而可以省略的括號(hào)，在需要提高公式可讀性時(shí)亦可不省略.,⑤要注意語(yǔ)句的形式化未必是唯一的.,用我們已有的符號(hào)語(yǔ)言，可以將許多自然語(yǔ)言語(yǔ)句形式化，下面我們用一些例子來說明，語(yǔ)句形式化須注意的地方，以及如何理解形式化了的語(yǔ)句.,41,（1）我和他既是兄弟又是同學(xué).令p：我和他是兄弟，q：我和他是同學(xué).,（3）狗急跳墻.令p：狗急了，q：狗跳墻.,（2）我和他之間至少有一個(gè)要去邊疆.令p：我去邊疆，q：他去邊疆.,例將下列語(yǔ)句形式化，并表示為命題公式：,表示為p∧q,表示為p∨q,表示為p→q,42,（4）風(fēng)雨無阻，我去上學(xué).令p：天刮風(fēng)，q：天下雨，r：我去上學(xué).,（5）△ABC與△ABC全等的充要條件是△ABC與△ABC的三邊對(duì)應(yīng)相等.令p：△ABC與△ABC全等，q：△ABC與△ABC的三邊對(duì)應(yīng)相等.,還可表示為(p∧q∧r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r).,表示為(p∧q→r)∧(p∧┐q→r)∧(┐p∧q→r)∧(┐p∧┐q→r),,表示為p?q,43,（1）p∨q（?是偶數(shù)或?是奇數(shù)）,（3）r∧┐s→q（若?是不等于2的質(zhì)數(shù)，則?為奇數(shù)）,（2）p∧r→s（若?是偶質(zhì)數(shù)，則?=2）,（5）r?q∨s（?是質(zhì)數(shù)當(dāng)且僅當(dāng)?是奇數(shù)或?=2）,（4）┐(q∨s)→┐r（若“?是奇數(shù)與?=2之一真”不能成立，則?非質(zhì)數(shù)）,例：設(shè)p表示“?是偶數(shù)”，q表示“?是奇數(shù)”，r表示“?是質(zhì)數(shù)”，s表示“?=2”，那么，可如下理解各命題公式：,44,第一章習(xí)題課,主要內(nèi)容命題、真值、簡(jiǎn)單命題與復(fù)合命題、命題符號(hào)化聯(lián)結(jié)詞?,?,?,?,?及復(fù)合命題符號(hào)化命題公式及層次真值表及應(yīng)用基本要求深刻理解各聯(lián)結(jié)詞的邏輯關(guān)系,熟練地將命題符號(hào)化會(huì)求復(fù)合命題的真值深刻理解合式公式的概念熟練地求公式的真值表，并用它求公式的成真賦值與成假賦值,45,作業(yè)習(xí)題一：1，2，4，8，9，10.,46,1.將下列命題符號(hào)化(1)豆沙包是由面粉和紅小豆做成的.(2)蘋果樹和梨樹都是落葉喬木.(3)王小紅或李大明是物理組成員.(4)王小紅或李大明中的一人是物理組成員.(5)由于交通阻塞，他遲到了.(6)如果交通不阻塞，他就不會(huì)遲到.(7)他沒遲到，所以交通沒阻塞.(8)除非交通阻塞，否則他不會(huì)遲到.(9)他遲到當(dāng)且僅當(dāng)交通阻塞.,練習(xí)1,47,提示：分清復(fù)合命題與簡(jiǎn)單命題分清相容或與排斥或分清必要與充分條件及充分必要條件答案:(1)是簡(jiǎn)單命題(2)是合取式(3)是析取式（相容或）(4)是析取式（排斥或）設(shè)p:交通阻塞，q:他遲到(5)p?q,(6)?p??q或q?p(7)?q??p或p?q,(8)q?p或?p??q(9)p?q或?p??q可見(5)與(7)，(6)與(8)相同（等值）,練習(xí)1解答,48,2.設(shè)p:2是素?cái)?shù)q:北京比天津人口多r:美國(guó)的首都是舊金山求下面命題的真值(1)(p?q)?r(2)(q?r)?(p??r)(3)(q?r)?(p??r)(4)(q?p)?((p??r)?(?r??q)),0,練習(xí)2,1,0,0,49,3.用真值表判斷下面公式的類型(1)p?r??(q?p)(2)((p?q)?(?q??p))?r(3)(p?q)?(p?r),練習(xí)3,50,練習(xí)3解答,(1)p?r??(q?p),矛盾式,51,練習(xí)3解答,(2)((p?q)?(?q??p))?r,永真式,52,練習(xí)3解答,(3)(p?q)?(p?r),非永真式的可滿足式,53,習(xí)題一解答,1.是命題的為：（1）（2）（3）（6）（7）（10）（11）（12）（13）是簡(jiǎn)單命題的為：（1）（2）（7）（10）（13）是真命題的為：（1）（2）（3）（10）（11）真值現(xiàn)在還不知道的為：（13），到2025年元旦該命題的真值就可判定，（7）的真值要視實(shí)際情況而定，如果劉紅與魏新確實(shí)是同學(xué)，則（7）為真命題，否則為假命題.2.（1）p:中國(guó)有四大發(fā)明（2）p:(7)P:劉紅與魏新是同學(xué),54,(10)P:（13）P：2025年元旦下雪.3.（1）（2）,55,56,