16/07/02 22:35:26.04 iPEFMmX1.net
URLﾘﾝｸ(imgur.com)
↑の画像で赤で囲ったところが分かりません。
C がある命題変数 q に等しいとき、明らかに、 p = q だと思います。
ところが、この著者は、 p = q の場合と p ≠ q の場合に場合分けして証明しています。
一体どういうことなのでしょうか？
16/07/02 22:35:26.04 iPEFMmX1.net
URLﾘﾝｸ(imgur.com)
↑の画像で赤で囲ったところが分かりません。
C がある命題変数 q に等しいとき、明らかに、 p = q だと思います。
ところが、この著者は、 p = q の場合と p ≠ q の場合に場合分けして証明しています。
一体どういうことなのでしょうか？