⑴ 求離散數學大神 給我詳細解釋下下面定理 ,什麼意思啊
1.3.1命題演算的合式公式規定為:
(1)單個命題變元本身是一個合式公式。
(2)如果A是合式公式,那麼┐A是合式公式。
(3)如果A和B是合式公式,那麼(A∨B)、(A∧B)、(A→B)、(ADB)、都是合式公式。
(4)當且僅當有限次地應用(1)(2)(3)所得到的包含命題變元,連接詞和圓括弧的符號串是合式公式。
1.3.2 設Ai是公式A的一部分,且Ai是一個合式公式,稱Ai是A的子公式。
1.3.3 設P為一命題公式,P1,P2,……,Pn為出現在P中的所有命題變元,對P1,P2,……,Pn指定一組真值稱為對P的一種指派。若指定的一種指派,使P的值為真,則稱這組指派為成真指派。若指定的一種指派,使P的值為假,則稱這種指派為成假指派。
含n個命題變元的命題公式,共有2n個指派。
1.3.4 給定兩個命題公式A和B,設P1,P2,……,Pn為所有出現於A和B中的原子變元,若給P1,P2,……,Pn任一組真值指派,A和B的真值都相同,稱A和B是等價的,記做A <=>B。
1.3.5 設A為一命題公式,若A在它的各種指派情況下,其取值均為真,則稱A為重言式或永真式。
1.3.6 設A為一命題公式,若A在它的各種指派情況下,其取值均為假,則稱A為矛盾式或永假式。
1.3.7設A為一命題公式,若A在它的各種指派情況下至少存在一組成真指派,則稱A為可滿足式。
1.4.1 設X式合式公式A的子公式,若有Y也是一個合式公式,且X<=>Y,如果將A中的X用Y置換,得到公式B,則A<=>B。
1.4.2 設A,B為兩個命題公式,A<=>B,當且僅當A ←→B為一個重言式。
P=>Q稱做P蘊含Q或蘊含式,又稱永真條件式。
蘊含式有下列性質:
(1)對任意公式A,又A=>A;
(2)對任意公式A,B和C,若A=>B,B=>C,則A=>C;
(3)對任意公式A,B和C,若A=>B,A=>C,則A=>(B∧C);
(4)對任意公式A,B和C,若A=>C,B=>C,則A∨B=>C.
1.4.3設P,Q為任意兩個命題公式,P<=>Q的充分必要條件式P=>Q,,Q=>P
⑵ 離散數學!第二張圖的第一個小項性質!實在不理解真值指派與編碼相同時什麼意思!能通俗點照著圖給我說下
看枝粗友姿看這個圖,猛告鎮你懂了嗎?
⑶ 簡述真值指派的作用
真值指瞎核派就是p q的四種情況,編碼就是 假設p q 都為真時,p合取q的四種情游敬況磨磨掘 假為零 真為1
⑷ 在離散數學中什麼叫真值
真值雹梁數:一個命題總是有一個值渣困 這個源首值叫真值
真值 只有真和假兩種情況
分別用T(TRUE)和F(FALSE)表示
⑸ 離散數學命題
下面是有關命題的定義及基本解釋。自己好好理解一下命題概念學習本章首先要深刻理解命題的概念。理解原子命題與復合命題的關系,在了解復合命題的基礎上,理解聯結詞的定義。
命題:具有唯一真值的陳述句稱為命題,又簡稱語句。注意,這里有兩個條件,首先它是一個陳述句,其次,它具有唯一的一個真值。
真值:就是語句為真或假的性質。一個語句的真值可以為真也可以為假。真值不是說該語句的值必為真。
任一命題必有其真值,也稱這個命題的值。既然是命題了,那它必有一個確定的真值,不管這個真值為真還是為假。當一個陳述句能夠分辯其值的真假時(也就是說,總可以肯定是其中的某一個),它就是命題,即使我們不知道它是真還是假。
另外要理解命題常量、命題變元及指派的含義。
復合命題就是一些原子命題經過一些聯結詞復合而成的命題。常用的聯結詞有:(1)否定純宴世、(2)合取、(3)析取、(4)條件、(5)雙條件
復合命題與聯系詞是密切相關的,不包含聯結詞的命題就是原子命題,至少包含一個聯結詞的命題才是復合命題。
復合命題的真值只取決於構成它們的各原子命題的真值,而與它們的內容含義無關。對聯結詞所聯結的兩原子命題之間有無關系無關。(這一條很重要,因為一個命題用自然語言表達時,我們往往會受到自然邏輯的影響,比如"我如果不上班,那麼天下雨"這種命題,在自然的邏輯里,是不成立的,一個人不上班怎麼會導致天下雨呢? 但是在這里,這個復合命題的值實際上是由兩個原子命題的真值決定的,與它的含義無關,這個復合命題是|P->Q ,前一個原子命題的真值為假,後一命題值為真,根據條件的定義,這個復合命題值為真)
∧、∨、←→具有對稱性,|、→無對稱性,(教材提示,也可用iff表示雙向箭頭←→,由於字元集的限制,本網頁在表示否定關聯詞時用"|",請在書寫時注意規范寫法。對稱性是指真值表中復合命題的真值與原子命題的真值之間的關系。)
命題公式與命題不同,在一個由命題標識符組成的式子中,如果標識符表示確定的命題,則該式就是命題。如果標識符只表示命題的位置,可由任何命題代替,則該式子就為命題公式。命題變元P用特定命題替代時,稱為對P的指派。
不是所有由命題變元、聯結詞及有關括弧組成的字元串都能成為命題公式。要成為一個命題公式(合式做肢公式),應當符合規定。這個規定是:
(1)單個命題變元本身是一個合式公式。
(2)如果A是合式公式,那麼|A是合式公式。
(3)如果A和B是合式公式,那麼(A∧B)、(A∨B)、(A→B)和(A←→B)都是合式公式。
(4)當且僅當有限次地應用(1)(2)(3)所得到的包含命題變元、聯結詞和圓括弧的符號串是合式公式。
總的理解就是說,單個命題變元是合式公式,由合式公式作為命題變元,有限次地運用聯結詞及括弧組成的符串才能是合式公式。即命題公式,簡稱公式。
命題變元只有進行指派後才可能確定其所在命題公祥虛式的真值。當一個命公式中的所有命題變元用一組真值指定後,就稱為對命題公式的指派。想一想,什麼是真指派、什麼是假指派? 這個比較簡單。
一個命題的真值表應該列出其所有指派的取值情況。一般來說,由n個命題變元組成的命題公式共有2n種真值情況。
聯結詞的簡化,按照兩個等價的命題公式,可以看到一個有較多聯結詞的公式可以簡化為含有一個聯結詞的公式。這里有兩個等值公式應當記一下:
(|P∨Q)(P→Q)
我們要弄清什麼是"重言式(永真式)"、什麼是"矛盾式(永假式)"以及"可滿足式"。這其中涉及到指派及命題公式的取值,容易理解。
⑹ 離散數學問題
真值:
通過測量儀表測量某種物理量,儀表所示值(測量值)與實際值之間存在的差別即是誤差:Δ=|測量值-真值|。
真值即真實值,是指在一定條件下,被測量客觀存在的實際值。真值在不同場合有不同的含義。
理論真值:也稱絕對真值,如平面三角形三內角之和恆為18O0。
規定真值:國際上公認的某些基準量值,如1982年國際計量局召開的米定義咨詢委員會提出新的米定義為「米等於光在真空中1/299792458 秒時間間隔內所經路徑的長度」。這個米基準就當作計量長度的規定真值。
相對真值:計量器具按精度不同分為若乾等級,上一等級的指示值即為下一等級的真值,此真值稱為相對真值)例如,在力值的傳遞標准中;用二等標准測力機校準三等標准測力計,此時二等標准測力機的指示值即為三等標准測力計的相對真值。
對於被測物理量,真值通常是個未知量,由於誤差的客觀存在,真值一般是無法測得的。
測量次數無限多時,根據正負誤差出現的概率相等的誤差分布定律,在不存在系統誤差的情況下,它們的平均值極為接近真值。故在實驗科學中真值的定義為無限多次觀測值的平均值。
但實際測定的次數總是有限的,由有限次數求出的平均值,只能近似地接近於真值,可稱此平均值為最佳值(或可靠值)。