1樓:暴血長空
首先你這寫法就
有問題應該是:a^b=>a.......化簡律,這是基本推理定律列出真值表
內a b a∧b
0 0 0
0 0 0
0 1 0
0 1 0
1 0 0
1 0 0
1 1 1
1 1 1
可以看到a^容b為真值時,a必為真(表的最後兩行)但是注意,反過來就不一定了!
離散數學這倆為什麼不是合式公式
2樓:陽光語言矯正學校
命題來公式是由命題常項、命題變項、聯自結詞、括號等組成的符號串,但不是由這些符號任意組成的符號串都是命
題公式。因此,必須給出命題公式的嚴格定義。定義1.6編輯
(1)單個命題常項或變項是合式公式;
(2)如果a是合式公式,則「a也是合式公式;
(3)如果a,b是合式公式,則p∧q、p∨q、p®q、 p«q也是合式公式;
(4)只有有限次地應用(1)~(3)所包含的命題變元,聯結詞和括號的符號串才是合式公式。
今後我們將合式公式稱為命題公式,或簡稱為公式。
為方便起見,規定,等的外層括號可以省去。在公式的定義中,引進了a,b等符號,它們代表任意的命題公式,稱它們為元語言符號。
根據定義,,,等都是命題公式,但等都不是命題公式。
所謂元語言,是用來說明物件語言的語言,而物件語言是指用來描述所研究的物件(指數理邏輯)的語言。
例 用定義說明是公式。
解 1是公式 由(1)
2是公式 由(1)
3是公式 由1、2、(3)
4是公式 由1、3、(3)
離散數學裡為什麼(p→(r→q))不是合式公式?
3樓:year城
先上定義:
1、單個
抄命襲題常項或變項p,q,r,...及bai0,1是合式du公zhi式。
2、若a是合式dao公式,則(~a)也是合式公式。(注:符號~在這看作是 非)
3、若a、b是合式公式,則(a∧b)、(a∨b)、(a→b)、(a冖b)也是合式公式。(注:符號冖在這看做是 等價)
4、只有有限次地應用1、2、3組成的符號串才是合式公式。
另:在命題邏輯中合式公式又稱命題公式,簡稱公式。
另:為方便起見,規定(~a)、(a∧b)等的外層括號可以省去。
--------以上引用於清華大學出版社耿素雲等編寫的《離散數學(第五版)》第五頁---------
by year城
根據定義知p→(r→q)是合式公式且(p→(r→q))也是合式公式。兩者若不是合式公式就只能說明pqr不是合式公式。
4樓:匿名使用者
合式公式是命題公式的別稱,p→(r→q) 是命題公式,當然也是合式公式。
離散數學證明(a→b)∧(b→c)⇔a→c
5樓:曉龍修理
證明:b→62616964757a686964616fe58685e5aeb931333431373337c⇔¬
∵ a⊕b⇔(a-b)∪(b-a) 1
∴(a⊕b)-c
((a-b)∪(b-a)-c) 根據1得
⇔(a-b-c)∪(b-a-c) 2
c-(a⊕b)
⇔c-(a-b)∪(b-a) 根據1
⇔c-(a-b)-(b-a)
∴(a→b)∧(b→c)⇔a→c
性質:離散數學在各學科領域,特別在電腦科學與技術領域有著廣泛的應用,同時離散數學也是計算機專業的許多專業課程,如程式設計語言、資料結構、作業系統、編譯技術、人工智慧、資料庫、演算法設計與分析、理論電腦科學基礎等必不可少的先行課程。
通過離散數學的學習,不但可以掌握處理離散結構的描述工具和方法,為後續課程的學習創造條件,而且可以提高抽象思維和嚴格的邏輯推理能力,為將來參與創新性的研究和開發工作打下堅實的基礎。
由於數位電子計算機是一個離散結構,它只能處理離散的或離散化了的數量關係, 因此,無論電腦科學本身,還是與電腦科學及其應用密切相關的現代科學研究領域,都面臨著如何對離散結構建立相應的數學模型;又如何將已用連續數量關係建立起來的數學模型離散化,從而可由計算機加以處理。
離散數學是傳統的邏輯學,集合論(包括函式),數論基礎,演算法設計,組合分析,離散概率,關係理論,圖論與樹,抽象代數(包括代數系統,群、環、域等),布林代數,計算模型(語言與自動機)等彙集起來的一門綜合學科。離散數學的應用遍及現代科學技術的諸多領域。
6樓:普海的故事
等價蘊含式:來b→源c⇔¬b∨c
前提bai3: b
⇒c則(b→c)→c 1du
前提2 乛d∨a⇔d→a
前提1 a→(b→c)
⇒d→(b→c) 2
zhi由1、2
dao,得到d→c
7樓:東風冷雪
這不是假言三段論嗎。
離散數學中AB和A B的區別,離散數學中 A B 和 A B 的區別?
通常在數學上用a b表示a整除b,等價於存在c使得b ac,這裡a,b,c均是整數,應該是a b當且僅當2 a b 即等價於a,b關於模2同餘,或a,b用2除餘數相同或2整除a,b之差.a 表示 a 中元素個數 b 表示 b 中元素個數 a x b m x n 無爭議axb 要搞清楚,是笛卡爾積的意...
離散數學中 是什麼意思,離散數學中a b是什麼意思
用右邊的定義左邊,這在很多不同的數學書上都有.如果反過來,把 寫在右邊,表示把左邊的東西用右邊的記號來記,即引入右邊的記號.離散數學中a b是什麼意思?通常在數學上用a b表示a整除b,等價於存在c使得b ac,這裡a,b,c均是整數,應該是a b當且僅當2 a b 即等價於a,b關於模2同餘,或a...
離散數學證明有ab1a1b
ba ba 1 1 a 1b 1 1 ab 1 1 ab 離散數學證明 a b b c a c 證明 b 62616964757a686964616fe58685e5aeb931333431373337c a b a b b a a b c a b b a c 根據 得 a b c b a c c ...