判断题 “总而言之”是一个前提标识词。

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

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