論理学って結構面白いんだよね〜。何がって、それは、複雑な命題の真偽を決定できるところかなぁ・・・。