| 类别 | 具体子项 |
|---|---|
| 基本逻辑规律（3种） | 同一律、排中律、无矛盾律 |
| 三段论与对当关系（2类） | 三段论24式、对当关系6种 |
| 假言推理（6种） | 肯定前件、否定后件、假言连锁、假言易位、波爱修斯律、假言联言推理 |
| 选言与联言推理（3种） | 选言推理、二难推理、联言推理 |
| 充要条件推理（1种） | 充要条件推理 |
| 关系推理（4种） | 对称、反对称、传递、反传递 |
| 命题逻辑基本推理（4种） | 附加律、简化律、双否律、德摩根律 |
| 间接证明（3种） | 归谬法、反证法、反三段论律 |
| 二值外延下未形式化的日常推理（3种） | 可废止推理、无效蕴涵阻塞、多条件排除锁定 |