離散數學AB是合適公式AB為什麼不是合適公式,不

2021-03-04 09:22:07 字數 2575 閱讀 2845

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 ...