一、直言直接推理

　　直言推理按照其前提的數(shù)量可以分為直言直接推理和直言間接推理。直言直接推理就是根據(jù)一個(gè)直言命題推出一個(gè)新的直言命題的推理。 直言間接推理就是前提中有兩個(gè)或兩個(gè)以上的直言命題，并推出一個(gè)新的直言命題的推 理。其中由兩個(gè)直言命題推出一個(gè)新的直言命題結(jié)論的推理，稱為直言三段論。

　　直言命題直接推理分為直言命題對(duì)當(dāng)關(guān)系推理、直言命題變形推理和直言命題負(fù)命題 等值推理。

　　二、直言對(duì)當(dāng)關(guān)系推理

　　直言命題對(duì)當(dāng)關(guān)系推理就是根據(jù)相同主、謂項(xiàng)的 A、E、I、O 四種命題之間的對(duì)當(dāng)關(guān) 系，由一個(gè)已知的直言命題推出一個(gè)新的直言命題的推理。

　　1.矛盾關(guān)系推理

　　矛盾關(guān)系的特點(diǎn)是不可同真、不可同假，即必定一真一假。全稱肯定命題與特稱否定

　　命題之間是矛盾關(guān)系;全稱否定命題與特稱肯定命題之間是矛盾關(guān)系。相互矛盾的兩個(gè)命 題，其中一個(gè)命題為真，則可以推出另一個(gè)為假;其中一個(gè)為假，則可以推出另一個(gè)為真。 矛盾關(guān)系推理有效式為：

　　并非所有 S 都是 P↔有的 S 不是 P(并非全肯↔特否)。 并非所有 S 都不是 P↔有的 S 是 P(并非全否↔特肯)。 并非有的 S 是 P↔所有 S 都不是 P(并非特肯↔全否)。 并非有的 S 不是 P↔所有 S 都是 P(并非特否↔全肯)。

　　2.反對(duì)關(guān)系推理

　　反對(duì)關(guān)系的特點(diǎn)是不可同真，可同假，即至少一假。全稱肯定命題與全稱否定命題是

　　反對(duì)關(guān)系，根據(jù)其中一個(gè)為真可以推出另一個(gè)必然為假。反對(duì)關(guān)系推理有效式為： 全肯→并非全否(所有 S 都是 P→并非所有 S 不是 P)。

　　全否→并非全肯(所有 S 都不是 P→并非所有 S 是 P)。

　　3.下反對(duì)關(guān)系推理

　　下反對(duì)關(guān)系的特點(diǎn)是可同真，不可同假，即至少一真。特稱肯定與特稱否定是下反對(duì)關(guān)系，根據(jù)其中一個(gè)為假，可以推出另一個(gè)為真。下反對(duì)關(guān)系其推理有效式為： 并非有的 S 是 P→有的 S 不是 P(并非特肯→特否)。

　　并非有的 S 不是 P→有的 S 是 P(并非特否→特肯)。

　　4.從屬關(guān)系推理

　　從屬關(guān)系的特點(diǎn)是全稱真則對(duì)應(yīng)特稱真，特稱假則對(duì)應(yīng)全稱假。其推理有效式為： 所有 S 都是 P→有的 S 是 P(全肯→特肯)。

　　所有 S 都不是 P→有的 S 不是 P(全否→特否)。

　　并非有的 S 是 P→并非所有 S 是 P(并非特肯→并非全肯)。 并非有 S 都不是 P→并非所有 S 不是 P(并非特否→并非全否)。

　　三、直言命題變形推理

　　直言命題變形推理是通過(guò)改變直言命題的形式而得到一個(gè)新的直言命題的推理。