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 改為 非p或q 不是p就是q 和 不是p或者不是q 一樣的 就和上面一樣 樓主，這是高中簡易邏輯部分的內容，你出的題目錯了簡易邏輯裡面 原命題和逆否命題是等價的，否命題和逆命題是等價的如果原命題是 若p則q，則 其逆命題是 若q則p 條件和結論倒一下 其否命題是 若非p則非q 對條件...
非AB非C A非BC是否等於1？邏輯函式中，幾個變數對應互補的兩個相加是否等於
你這個問題算是邏輯函式的一種規律了，不過不像你想的那麼簡單。事實上，下面這個命題 邏輯函式中，幾個變數對應互補的兩個相加等於1 只有在變數個數為 1 時，才成立。也就是，只有 a 非a 1 才滿足這條規律。道理很簡單 根據你的要求所列出的邏輯表示式，肯定是一個 標準與或式 它由幾個 與項 相加構成 ...
A,B為滿足AB 0的任意兩個非零矩陣，則必有A的列向量組線
長孫秀英婁珍 方法一 設a為m n矩陣，b 為n s矩陣，則由ab o知 r a r b n，又a，b為非零矩陣，則 必有rank a 0，rank b 0，可見 rank a n，rank b n，即a的列向量組線性相關，b的行向量組線性相關，故選 a 方法二 由ab o知 b的每一列均為ax 0...