1樓:來自火星的世界
a→b 表示:a 為真時,b 也總是為真;
即:a→b 為真,當且僅當 a 為真時 b 也為真;那麼:
a→b 為假,當且僅當 a 為真,並且 b 不為真;——條件命題的否定,就是“真條件,假結論”同時出現——有些書上,就是用這句話來定義條件命題的:知道了結果為假的賦值組合,自然也就知道結果為真的賦值組合了.所以:
┐(a→b) = a ∧ ┐b;
┐┐(a→b) = a→b = ┐(a ∧ ┐b) = ┐a ∨ b;
在進行歸納推理時,如果逐個考察了某類事件的所有可能情況,因而得出一般結論,那麼這結論是可靠的,這種歸納方法叫做列舉法。列舉法是利用計算機運算速度快、精確度高的特點,對要解決問題的所有可能情況,一個不漏地進行檢驗,從中找出符合要求的答案,因此列舉法是通過犧牲時間來換取答案的全面性。
2樓:
樓主你好,這個是邏輯判斷的充分條件假言命題非(a=>b)等價於a且非b,是a=>b的否定形式(即相互矛盾)a-->b 等價於 非a或b 這是離散數學裡的”蘊涵等值式“如有不懂請追問!望採納!
a+a非b=(a+a非)(a+b)怎麼過來的?
3樓:法號真亂來
a+a非b
=a(1+b)+a非b
=a+ab+a非b
=a+b(a+a非)
=a+b
4樓:月過蝕心
a+a非b
=a(a+b)+a非(a+b)
=(a+a非)(a+b)
=a+b
5樓:匿名使用者
a(1+a非+b)+a非b,什麼數加1還是1
a且b的矛盾為什麼是非a或非b,應該是非a,或非b,或非a且非b啊
6樓:綠鬱留場暑
根據德摩根定理,正確應該非(a且b)=(非a)或(非b)。
形式邏輯中此定律表達形式:
擴充套件資料:
在經典命題邏輯的外延中,此二元性依然有效(即對於任意的邏輯運算子,我們都能找他它的對偶),由於存在於調節否定關係的恆等式中,人們總會引入作為一個算符的德·摩根對偶的另一個算符。
這導致了基於傳統邏輯的邏輯學的一個重要性質,即否定正規化的存在性:任何公式等價於另外一個公式,其中否定僅出現在作用於公式中非邏輯的原子時。否定常型的存在推進了許多應用,例如在數位電路設計中該性質用於操縱邏輯閘。
以及在形式邏輯中該性質是尋找一個公式的合取正規化和析取正規化的必要條件;電腦程式設計師們則用它們將一個類似於if ... and (... or ...
) then ... 這樣的複雜語句轉變為其對等形式;它們也同樣經常用於初等概率論中的計算。
我們將基於基本命題p,q的任意命題算符p(p,q,...)的對偶定義為:
為對德·摩根定律敘述這些量詞的二元性,設定一個在其域d中具有少量元素的模型,例如
d = .則以及
但,應用德·摩根定律,
檢驗模型中量詞的二元性。
從而,量詞的二元性可進一步延伸到模態邏輯中的方塊和菱形算符:
7樓:匿名使用者
非a或非b,應該是非a,或非b這兩個是同一個意思 是對的
至於非a且非b 肯定是錯的,自己可以畫個韋恩圖看下
8樓:小糖大魔王
他是男孩且勇敢
矛盾為:他不是男孩或者他不勇敢
數電中,非a+非b和非(a+b)有區別嗎
9樓:匿名使用者
當然有區別
根據德·摩根定律(即反演律)
非a+非b=非(a·b)
非(a+b)=非a·非b
兩者不相等。
概率論 p(abcd)=1-p(非a非b非c非d)嗎?
10樓:匿名使用者
你標題的這種說法是不對 的,還需要減去包括(非a)bcd,a(非b)cd,ab(非c)d,abc(非d),(非a非b)cd,(非a非c)bd,(非a非d)bc,(非b非c)ad,(非b非d)ac,(非c非d)ab,(非a非b非c)d,(非a非b非d)c,(非a非c非d)b,(非b非c非d)a,
正確的是你寫的第二種:p(abcd)=1-p(非abcd)
11樓:匿名使用者
第二種說法正確 你可以把abcd看成一個整體
邏輯問題:為什麼a推出b=(非a)或b?
12樓:匿名使用者
b為真並不能表示a為真啊。。。a是b的充分條件不是必要條件啊。。。。你的例子真的有好好思考過嗎。。。。
p是q的充分不必要條件等價於非p和非q啥關係啊
非p是非q的必要但不充分條件。解答過程如下 1 p是q的充分不必要條件 等價於 非p是非q的必要但不充分條件 2 p是q的充分不必要條件,就是p成立則q成立,且q成立p不一定成立。3 p成立則q成立,那麼非q成立,則非p成立,所以非p是非q的必要條件。4 q成立p不一定成立,那麼非p成立,則非q不一...
語句whilee中的條件e等價於e0為什麼
是非,baie非0,是真值,du所以 e是zhi假,為0 並不是e 0,而是 daoe 0。while e 中 版,e等價於 權e true 相當於先判斷e是否為真,然後再取反。while e 中,實際迴圈執行的條件是e為假。稱為邏輯非運算子。執行邏輯 not 操作,用來逆轉運算元的邏輯狀態。如果條...
問列印結果是什麼?pinta1是不是等價於
輸出是2,5。a 1 不用說了 因為a a 0 a就是整個這一行的指標,a 1就是下一行的指標 不過這裡沒有下一行而已 實質就是 a 1指向了5後面的位置 把它強制為int 型後賦給p,p 1就只向前挪動1個int資料的空間,所以p 1指向了5,p 1 自然就是5。列印結果分別是 2,1 p int...