N君が「こういうのは、どうやって証明したらいいのか… わかんないなー?」と困った顔をしてました。的確な処方箋を述べることは出来ないのですが、ヒントになりそうなことを記しておきます。 目的: 証明の“お膳立て”とは 例題 命題、証明可能性判断、証明要求 連言の分解 含意の変形 全称限量子を型宣言に お膳立てルールの繰り返し適用 同値な命題に置き換える お膳立てを完成させる シリーズ目次: 証明の“お膳立て”のやり方 証明の“お膳立て”のやり方 2: 証明の顧客・業者モデル 証明の“お膳立て”のやり方 3: さらに事例 証明の“お膳立て”のやり方 4: 随伴による集合差の定義 証明の“お膳立て”のやり方 5: 証明可能性判断と推論規則 証明の“お膳立て”のやり方 オマケ1: 集合の内包的記法の困惑 有限集合とは何だろう(ストーリー付き練習問題集) 有限集合とは何だろう への補足 距離空間と位相
![証明の“お膳立て”のやり方 - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/e661c4ce3093b65d3ada2575d63924919a1248dd/height=288;version=1;width=512/http%3A%2F%2Fwww.chimaira.org%2Fimg4%2Fnkun-proof-preprocess.png)