1樓：匿名使用者
肯定前件論式 (p → q) ; p ├ q 如果 p 則 q; p; 所以, q
否定後件論式 (p → q) ; ¬q ├ ¬p 如果 p 則 q; 非 q; 所以，非 p
假言三段論式 (p → q) ; (q → r) ├ (p → r) 如果 p 則 q; 如果 q 則 r; 所以，如果 p 則 r
選言三段論式 (p ∨ q) ; ¬p ├ q 要麼 p 要麼 q; 非 p; 所以, q
創造性二難論式 (p → q)∧(r → s) ; (p ∨ r) ├ (q ∨ s) 如果 p 則 q; 並且如果 r 則 s; 但是要麼 p 要麼 r; 所以，要麼 q 要麼 s
破壞性二難論式 (p → q)∧(r → s) ; (¬q ∨ ¬s) ├ (¬p ∨ ¬r) 如果 p 則 q; 並且如果 r 則 s; 但是要麼非 q 要麼非 s; 所以，要麼非 p 要麼非 r
簡化論式 (p ∧ q) ├ p p 與 q 為真; 所以，p 為真
合取式 p, q ├ (p ∧ q) p 與 q 分別為真; 所以，它們結合起來是真
增加論式 p ├ (p ∨ q) p 是真; 所以析取式(p 或 q)為真
合成論式 (p → q) ∧ (p → r) ├ p → (q ∧ r) 如果 p 則 q; 並且如果 p 則 r; 所以，如果 p 是真則 q 與 r 為真
德·摩根定律(1) ¬(p ∧ q) ├ (¬p ∨ ¬ q) (p 與 q)的否定等價於(非 p 或非 q)
德·摩根定律(2) ¬(p ∨ q) ├ (¬p ∧ ¬ q) (p 或 q)的否定等價於(非 p 與非 q)
交換律(1) (p ∨ q) ├ (q ∨ p) (p 或 q)等價於(q 或 p)
交換律(2) (p ∧ q) ├ (q ∧ p) (p 與 q)等價於(q 與 p)
結合律(1) p ∨ (q ∨ r) ├ (p ∨ q) ∨ r p 或(q 或 r)等價於(p 或 q)或 r
結合律(2) p ∧ (q ∧ r) ├ (p ∧ q) ∧ r p 與(q 與 r)等價於(p 與 q)與 r
分配律(1) p ∧ (q ∨ r) ├ (p ∧ q) ∨ (p ∧ r) p 與(q 或 r)等價於(p 與 q)或(p 與 r)
分配律(2) p ∨ (q ∧ r) ├ (p ∨ q) ∧ (p ∨ r) p 或(q 與 r)等價於(p 或 q)與(p 或 r)
雙重否定律 p ├ ¬¬p p 等價於非 p 的否定
換位律 (p → q) ├ (¬q → ¬p) 如果 p 則 q 等價於如果非 q 則非 p
實質蘊涵律 (p → q) ├ (¬p ∨ q) 如果 p 則 q 等價於要麼非 p 要麼 q
實質等價律(1) (p ↔ q) ├ (p → q) ∨ (q → p) (p 等價於 q) 意味著，要麼(如果 p 是真則 q 是真)要麼(如果 q 是真則 p 是真)
實質等價律(2) (p ↔ q) ├ (p ∧ q) ∨ (¬q ∧ ¬p) (p 等價於 q) 意味著，要麼(p 與 q 都是真)要麼(p 和 q 都是假)
輸出律 (p ∧ q) → r ├ p → (q → r) 從(如 p 與 q 為是真則 r 是真)我們可以證明(如果 q 是真則 r 為真的條件是 p 為真)
輸入律 p → (q → r) ├ (p ∧ q) → r
重言式 p ├ (p ∨ p) p 是真等價於 p 是真或 p 是真
排中律 ├ (p ∨ ¬p) p 或非 p 是真
大學邏輯學學科是什麼，有哪些專業要學邏輯學的嘛
中文啊行政管理啊都有 有哪些專業要學邏輯學的嘛 1 普通邏輯學 是一抄 門關於思維的基本形式 思維方法及其發展規律的科學。通過學習此課程，使學生系統地理解和掌握普通邏輯學的基本概念 基本原理和推演技巧，提高思維的準確性和敏捷性，增強語言的表達能力和論辯能力，以及初步具有運用邏輯知識解決實際問題的能力...
學邏輯學比較好的教材，本人想學邏輯學，有什麼書籍好幾時，有哪些大學教材？求指導
借用此題的問題答之所答。所答者墨家的辯學和佛家的慧學。我們說中國人聰明能幹確實在歷史上道，儒，法，樅橫，陰陽等開啟了 尚智 的源泉。佛教傳入後 慧 學才在今後的宋明理學中呈現。道學 理學 道理哲學 決不是附和之詞 佛本質上是一種 慧 悟，覺 牟子理惑論 答凝解惑開中國人之 慧根 故此中國才有嚴格意義...
邏輯學中的概念問題邏輯學中集合概念和非集合概念的問題。
偶然間看到了你的問題，也瀏覽了所有的回答，感覺所有回答都沒有正面解決問題。邏輯學中對概念的內涵和概念的外延有明確的定義 概念的內涵，就是指概念所反映物件的本質屬性或特有屬性 概念的外延，就是指具有概念所反映的特有屬性或本質屬性的物件。舉個例子 商品 這個概念，它的內涵是 用來交換的勞動產品 具有價值...