如從“人民教師的丁作是光榮的工作”這一命題出發,通過換位法的直接推理,就可推出一個改變了原命題主項和謂項位置的新的命題:“有的光榮的工作是人民教師的工作。”這一命題相對於原命題而言,就是一個換位命題。參見“換位法”。
相關詞條
-
直言命題
直言命題亦稱“定言命題”。即性質命題。由於在性質命題中,對對象具有或不具有某種性質的斷定是直接的、無條件的,因而,邏輯史上就把這種命題稱為直言命題,以別...
命題簡介 構成成分 表示方法 對當關係 推理 -
簡單換位
簡單換位亦稱“純粹換位”。在換位中簡單地交換原命題(前提)中主項和謂項的位置,而不改變其原命題量項的換位法。主要指全稱否定命題( SEP)與特稱肯定命題...
-
假言換位推理
假言換位推理的規則: 第一,前後件交換位置 第二,充分條件假言命題聯結項和必要假言命題聯結項相互變換。
-
換質位推理
換質位推理的含義換質位推理是指某一直言命題通過換質法和換位法的連續運用,從而推出一個新的直言命題的推理。它可以是先換質再換位的連續運用;也可... 換質位推理 在直言命題中,除命題不能進行先換質再換位的換質位推理外...
換質位推理的含義 換質位法的規則 換質位法的推理形式 換質位法的作用 換質法 -
直接證明
P的不是S”。換質位法是指利用換質及換位,將一個命題改為一個與其邏輯等價...,由公理和定理推導出某些命題的過程。比起證據,數學證明一般依靠演繹推理,而不是依靠自然歸納和經驗性的理據。這樣推導出來的命題也叫做該系統中的定理...
證明 常見的證明技巧 其他證明方式 證明完畢 -
邏輯圖表論
推理 §3.4 關於O命題的換位問題 第四節 歐拉圖與三段論...步驟 §2.4 真值形式的種類 第三節 真值表與簡單命題 §3.1 真值表與性質命題 §3.2 真值表在性質命題中的套用...
圖書信息 內容簡介 圖書目錄 -
《邏輯圖表論》
性質命題等值推理 §3.4 關於O命題的換位問題 第四節 歐拉圖...的種類 第三節 真值表與簡單命題 §3.1 真值表與性質命題 §3.2 真值表在性質命題中的套用 第四節 真值表與複合命題的邏輯性質...
-
幾何證明
稱為原命題的 換質。若交換主詞和謂詞的位置,則其結果被稱作 換位。先換質再...作出輔助線,綜合運用定理,找出已知和未知的聯繫,或推翻否倒命題不成立...是一種古老的證明方法,其思想為:欲證明某命題是假命題,則反過來假設該命題為...
定義 基本幾何證明步驟 常見的證明方法 -
模態邏輯
","有些a偶然不是b"等。亞里士多德討論了這8種模態命題的換質與換位...的邏輯性質。模態邏輯所研究的命題"必然 A"和"可能 A"與通常命題演算中的命題不同。後者是真值函項,前者不是。因為,當A真時,"必然A"既可以是真...
模態邏輯 正文 配圖 相關連線