背理法の使い方について教えてください。 ｐならばｑの形をしている問題は下記リンクの内容でわかるのですが、 http://www.ftext.org/text/subsubsection/1039 ｐがない？形、たとえは「√２は無理数である」などのような「ならば」がない命題の場合どのように上記リンクの「ｐ→ｑ」の形式の形を適用、解釈したらよいのでしょうか？ https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-1_meidaironri.pdf 上記の資料のｐ１４辺りも読んだのですが結局どのようにするのが正しいのかがわかりませんでした。 「ｘ＝√２ → ｘは無理数である」と解釈するということもネットで見たのですがいまいち納得ができていません。 そのあたりも教えていただければありがたいです。 どうぞよろしくお願いいたします。