判断题 反证法与选言证法均属于直接证明的范畴。

判断题 演绎推理是指用一些特殊命题来证明一般性道理的命题。

单项选择题 似真推理是（）在演绎推理与归纳推理的基础上提出的第三种推理类型。