離散數學中A則B是什麼意思?為什麼等價於非A或B呢

2021-04-19 21:32:06 字數 1106 閱讀 9585

1樓:荷z06d郄

通常在數學上用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|b是什麼意思?

2樓:匿名使用者

通常在數學上用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→b)∧非b 等價於 (a→非b)∧b ??以上兩個公式 都能夠推理出- 非a? 求解

3樓:匿名使用者

a→b 可以轉換成 非a或b(蘊含定義),:(a→b)∧非b 就等於 (非a或b)與非b 等於 (非a與非b)或 (b 與非b) b 與非b一定是假,在或運算中,邏輯假可以忽略(吸收律),所以原式繼續轉換為非a與非b

真值表檢驗:當b為真,無論a,(a→b)∧非b 都為假,所以(a→b)∧非b不等價於 非a,而等價於非a與非b

將b=非b代入:(a→b)∧非b,有:(a→非b)∧非(非b) 也就是(a→非b)∧b,所以兩個公式等價

4樓:匿名使用者

一般的合式公式的合取析取是這樣表示的。析取∨,合取∧。逗號是曾經在化成skolem標準型時出現過,代表合取

離散數學中|a|×|b|和|a×b|的區別? 5

5樓:啊從科來

通常在數學上用a|b表示a整除b,等價於存在c使得b=ac,這裡a,b,c均是整數, 應該是a=b當且僅當2|(a-b)。即等價於a,b關於模2同餘,或a,b用2除餘數相同或2整除a,b之差.

6樓:匿名使用者

|a| 表示 a 中元素個數

|b| 表示 b 中元素個數

|a| x |b| = m x n 無爭議axb 要搞清楚,是笛卡爾積的意思,|axb| = m x n 沒錯,但是意義不同

離散數學連通分支數是什麼意思呀,離散數學中的連通分部是什麼意思

對於一個無向圖而言,它的一個極大連通子圖即為一連通支。比如說,一個圖由三部分構成,其中每一部分都是連通的,但三個部分之間互相不連通,那麼每一部分即為無向圖的一個連通分支。此圖的連通分支數為3。更形象些,你把教學樓附近的幾棵樹合起來看做是一個無向圖,樹葉和樹枝分叉點為圖的結點,樹枝為圖的邊,每一棵樹是...

離散數學圖論中,奇度頂點是什麼?是頂點度數為奇數麼?度數為

果一個圖能 抄一筆畫成,那麼對每一bai個頂點,要麼路du徑中 進入 這個點的邊數等於 離開 zhi這個點的dao邊數 這時點的度為偶數。要麼兩者相差一 這時這個點必然是起點或終點之一。注意到有起點就必然有終點,因此奇頂點的數目要麼是0,要麼是2。什麼是奇度頂點 對於圖中某點,由該點引出的邊為奇數條...

離散數學中的冪集關係是什麼

冪集,就是原集合中所有的子集 包括全集和空集 構成的集族。可數集是最小的無限集 它的冪集和實數集一一對應 也稱同勢 是不可數集。不是所有不可數集都和實數集等勢,集合的勢可以無限的大。如實數集的冪集也是不可數集,但它的勢比實數集大。設x是一個有限集,x k,則x的冪集的勢為2的k次方。冪集是集合的基本...