用简便方法判定论证是否无效的第一步是()。