【動画０２－０１】を参考にして、下の画像【演習０２－０１】と同じ入力をしてみましょう。
【動画０２－０２】を参考にして、下の画像【演習０２－０２】と同じ入力をしてみましょう。
【動画０２－０３】を参考にして、下の画像【演習０２－０３】と同じ入力をしてみましょう。
【動画０２－０４】を参考にして、下の画像【演習０２－０４】と同じ入力をしてみましょう。
上の動画４つの鑑賞が済んだら、
LEAN web editor を使って動作確認して下さい。
自分で命題を考えて証明に挑戦してみると理解が進みます。
その後、参考文献の４．２節を読んでみましょう。
以上で第２回の講義を終わります。
