你是真城的人吗构造反二难法要求构造的二难推理结构必须与原来的结论相反