判断题 演绎有效性是指前提真结论假是可能的。

判断题 用归谬法演绎出矛盾式后即代表证明结束。

单项选择题 用简便方法判定论证是否无效的第一步是（）。