1樓:雯侯爺
本題不是等bai值式,是構造推理證du明:
前提:┒ex(p(x)∧h(x)),ax(f(x)→zhih(x))。dao
結論:ax(f(x)→┒專p(x))
證明:1┒ex(p(x)∧h(x)) 前提引入2 ax(┒p(x)∨┒屬h(x)) ...... (以下每一步的理由留給你)
3ax(h(x)→┒p(x))
4h(a)→┒p(a)
5ax(f(x)→h(x))
6f(a)→h(a)
7f(a)→┒p(a)
8ax(f(x)→┒p(x))得證。
2樓:水柏稅宇文
從真值的角度去理解最方便了,它的真值條件是:為真,當且僅當,左右兩邊的值一樣。
離散數學蘊含等值式怎麼理解?
3樓:匿名使用者
從真值的角度去理解最方便了,它的真值條件是:為真,當且僅當,左右兩邊的值一樣。
蘊涵等值式怎麼理解?(離散數學)
4樓:匿名使用者
從真值的角度去理解最方便了,它的真值條件是:為真,當且僅當,左右兩邊的值一樣。
蘊含等值式如何理解???
5樓:匿名使用者
是下面這個公式嗎
p→q <=> ┐p∨q
列真值表,這兩個公式的真值表完全相同。
6樓:sky破曉
蘊含式為假當且僅當p為真且q為假
7樓:魯雲婷
用歸謬賦值法重言式演算,假設為假,矛盾,即為真。
8樓:立花美千代
我也在學,在邏輯運算中,這些東西抽象的,就像1+1=2,多練習就記住了,就是人們的規定的推導
離散數學等值式
9樓:
利用等bai值式進行等值演算,很明顯主要du是用分配律zhi。這沒有什麼難dao處,就是寫起來專挺繁瑣的。6個小括號屬
內看作一個整體,分別記作abcdef。先用分配律,得到8個合取式組成的析取式,再判斷每一個式子的真值:
a∧c∧e的真值是0,因為p1與p2不能同時為真。其餘的類似判斷。只有b∧c∧f的真值是1,就是答案的結果
10樓:匿名使用者
**裡第一個式bai子是du沒有錯。
不是zhip1,p2,p3,q1,q2,r1之間並不是相互獨的r1其實就dao可以表達為非專p1^非q1(小紅屬和李強都不是班長)其中還有一些互斥的關係,因為班長只有一個,所以這幾個關係中肯定會有互斥的比如:
p1^q1=0,p2^q3=0,這些也可以放到式子中化簡,因為確實非常繁瑣,符號也不好打,所以見諒啦如果有標準答案,我可以給你解釋每一步**.....
離散數學集合問題，求解釋離散數學中的集合問題
一二 中只有一個元素x，而 中也只有一個元素，第一個是x，而第二個集合中的元素是一個集合，兩個集合沒有交集，也就是說 顯然一二是對的。三的話，x 包含符號不會打，就用這個了 x，那麼顯然x 四的話空集不含任何元素，所以自然不會有任何元素 5的話空集是任何集合的子集，所以對 6的話是一個單元集，其元素...
離散數學中r是a上的關係是什麼意思
離散數學中設r是集合a上的等價關係。r所具有的關係的三個特性是 對於任意的a a，因為r是等價關係，所以ara，由s的定義可知 a,a s。所以s非空且有自反性。如果 s，那麼存在c a，使得arc，crb。因為r是等價關係，有對稱性，所以brc，cra，由s的定義可知 s。所以s有對稱性。如果,s...
離散數學證明01是不可數的
書上不是有個經典證明嗎 假設可數，0.a11 a12 a13 a14.0.a21 a22 a23 a24.0.an1 an2 an3 an4.作0.ax1 ax2 ax3.ax1不等於a11，ax2不等於a22，ax3不等於a33。則0.ax1 ax2 ax3。不可數，即 0,1 間實數不可數 離散...