今回は 「仮定と結論」 を学習しよう。
前回の授業では、 「ＡならばＢである」 という形の「命題」について、その真偽を調べてみたよね。

命題「ＡならばＢである」 については、Ａの部分を 「仮定」 、Ｂの部分を 「結論」 という決まりがあるんだ。

「ＡならばＢである」は、記号を使って 「Ａ⇒Ｂ」 と表すよ。

この、仮定と結論がセットになっている表現は、 「ＡならばＢであることを証明せよ」 といった形で、証明問題でよく出てくるんだ。

「仮定」 というのは、証明問題の 「スタート地点」 、 「結論」 というのは 「ゴール地点」 になるよ。