背理法

高校1年生。
命題の否定が表せるかが第一歩です。
「でない」として否定すればよいというものではありません。
「彼らは嘘つきだ」の否定を「彼らは嘘つきでない」とするのは日常会話では大丈夫ですけど、数学だと不味いことになります。