排反と矛盾律とトートロジーと、それから‥‥ | Neutral Blog

Neutral Blog

Written by “NEUTRON”

ブログの更新が少なくなるということは、実際には忙しいほど生活が充実しているということで‥‥。
実際には暇なくらい生活が充実してないということは、ブログの更新が頻繁になるということで‥‥。

しかし、僕らはこの相反する事実が、実は同じ一つの真実であるということに気付く。


原子命題Φ,Ψを以下のように定義する。
Φ≔ブログの更新が少なくなる
Ψ≔生活が充実している

A: ブログの更新が少なくなるということは、生活が充実している。
Φ→Ψ

B: 生活が充実してないということは、ブログの更新が頻繁になる。
¬Ψ→¬Φ

ここで,対偶律(law of contoraposition)により
Φ→Ψ ↔ ¬Ψ→¬Φ

すなわち
A=B

Q.E.D.


受験生であるということを言い訳にして、あいにく僕らはウソツキだ。