引き続き数学勉強中。「pならばq」を証明するときに、pを仮定するけど、pじゃない場合の吟味をしなくていい理由が分かった。これも「ならば」の真偽表を見ればわかるけど、pじゃない場合は直ちに「pならばq」は真になるんだ。だから証明ではpである場合だけ考えれば良かった。こういう当たり前の論理操作を改めて考えると自分がいかに適当に数学勉強してたか分かる。

#fedibird