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

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

单项选择题 根据演绎有效性原则，论证无效的一个重要标志是（）。