演绎推理

简单命题的推理

性质命题的直接推理 对当推理

性质命题的间接推理 三段论

复合命题的推理 联言推理 选言推理 假言推理