蘊含等值式如何理解,離散數學蘊含等值式怎麼理解?

2021-03-03 23:18:39 字數 1754 閱讀 1681

1樓:匿名使用者

是下面這個公式嗎

p→q <=> ┐p∨q

列真值表,這兩個公式的真值表完全相同。

2樓:sky破曉

蘊含式為假當且僅當p為真且q為假

3樓:魯雲婷

用歸謬賦值法重言式演算,假設為假,矛盾,即為真。

4樓:立花美千代

我也在學,在邏輯運算中,這些東西抽象的,就像1+1=2,多練習就記住了,就是人們的規定的推導

離散數學蘊含等值式怎麼理解?

5樓:匿名使用者

從真值的角度去理解最方便了,它的真值條件是:為真,當且僅當,左右兩邊的值一樣。

離散數學中的蘊涵等值式是怎麼回事,還有還有那個單橫

6樓:雯侯爺

本題不是等bai值式,是構造推理證du明:

前提:┒ex(p(x)∧h(x)),ax(f(x)→zhih(x))。dao

結論:ax(f(x)→┒專p(x))

證明:①┒ex(p(x)∧h(x)) 前提引入② ax(┒p(x)∨┒屬h(x)) …… (以下每一步的理由留給你)

③ax(h(x)→┒p(x))

④h(a)→┒p(a)

⑤ax(f(x)→h(x))

⑥f(a)→h(a)

⑦f(a)→┒p(a)

⑧ax(f(x)→┒p(x))得證。

7樓:水柏稅宇文

從真值的角度去理解最方便了,它的真值條件是:為真,當且僅當,左右兩邊的值一樣。

離散數學的一個簡單的小問題... 解釋明白加分

8樓:

等價等值式:a←→b <=> (a→b)∧(b→a)蘊含等值式:a→b <=> ¬a∨

b----

(p→q)←→r <=> ((p→q)→r)∧(r→(p→q))<=> (¬(p→q)∨r)∧(¬r∨(p→q))<=> (¬(¬p∨q)∨r)∧(¬r∨(¬p∨q))<=> ((p∧¬q)∨r)∧(¬r∨¬p∨q) 再用∧對∨分配律<=> ((p∧¬q)∧(¬r∨¬p∨q))∨(r∧(¬r∨¬p∨q)) 繼續用分配律

<=> (p∧¬q∧¬r)∨(r∧¬p)∨(r∧q)<=> (p∧¬q∧¬r)∨(¬p∧r)∨(q∧r) 接下去對後面兩個簡單合取式用排中律、分配律,即可得到主析取正規化

p¬∧q∧¬r是錯誤的,應該是p∧¬q∧¬r

離散數學 證明下面的等值式

9樓:匿名使用者

本題不bai是等值式du,是構造推理證zhi明:前提:┒ex(p(x)∧h(x)),daoax(f(x)→h(x))。

結內論:ax(f(x)→┒p(x))

證明:①容┒ex(p(x)∧h(x)) 前提引入② ax(┒p(x)∨┒h(x)) …… (以下每一步的理由留給你)

③ax(h(x)→┒p(x))

④h(a)→┒p(a)

⑤ax(f(x)→h(x))

⑥f(a)→h(a)

⑦f(a)→┒p(a)

⑧ax(f(x)→┒p(x))得證。

10樓:匿名使用者

<=>(p∧q)∨(非p∧r) (其中否定符號無法打出來,用「非」表示) p<-->(q<-->r) 用等價等值式、蘊含等值式、分配律就可以證明

離散數學蘊含等值式怎麼理解,蘊含等值式如何理解

從真值的角度去理解最方便了,它的真值條件是 為真,當且僅當,左右兩邊的值一樣。蘊含等值式如何理解?是下面這個公式嗎 p q p q 列真值表,這兩個公式的真值表完全相同。蘊含式為假當且僅當p為真且q為假 用歸謬賦值法重言式演算,假設為假,矛盾,即為真。我也在學,在邏輯運算中,這些東西抽象的,就像1 ...

通俗理解嵌入式開發,怎麼通俗的理解嵌入式?

通俗的講 嵌入式就是把一個晶片嵌入到一個系統裡,而開發呢,就是編寫程式然後拷進晶片裡,比如手機,谷歌眼鏡。高雅的說 就是為電路板賦予靈魂,我反正是這麼安慰自己的.首先嵌入式系統就是一個小型的計算機系統,它具有智慧的處理和分析資料的能力,將這種智慧的系統和其他傳統的系統相組合就可以實現出很多智慧化的功...

如何測量絕緣子等值鹽密度

首先需要準備一臺專用鹽密測試儀,這裡以武漢產sj ct1a鹽密測試儀為例。1 制溶液 將絕緣子拆下,用濾紙將絕緣子表面汙垢擦下溶解在一定體積的蒸餾水中 具體體積視絕緣子表面積而定,一般選用300ml 2 儀器設定 進入鹽密測試儀引數設定,需要設定的引數有用水體積和絕緣子表面積。3 開始測試 將鹽密測...