証明せよ

非常に気だるい毎日を送っております。
藤です。
　
　
　
　
　
　
問1214 更新頻度が悪い≠つまらない日常 であることを背理法を用いて証明せよ。
　
(証明)
更新頻度が悪い＝つまらない日常と仮定する
ここで、更新頻度が悪いことには以下のような例が挙げられる
・体調が悪い
・サボり
・睡魔に襲われる 等
つまりこのことから
体調が悪い＝つまらない日常…１
サボり＝つまらない日常…２
睡魔に襲われる＝つまらない日常…３
という等式が成り立つ
１、２、３式より
体調が悪い＝サボり＝睡魔に襲われる
という等式が成り立つ
よって、体調が悪い＝睡魔に襲われる　を示せばよい
ここで、体調が悪い状況は以下のように言い換えることができる
・腹痛
・微熱
・五月病 等
よって先程と同様に
腹痛＝微熱＝五月病＝睡魔に襲われるという等式が生まれる
しかし腹痛によって睡魔に襲われることはないので、この等式は成り立たない
つまり体調が悪い≠睡魔に襲われるとなるので
ゆえに仮定は成り立たない
よって、更新頻度が悪い≠つまらない日常である。(証明終)
　
　
　
　
　
しかし成り立つ時の方が圧倒的に多い今日この頃。
…カラオケ行きたい。
　
　
　
おやすみるくー