2009-10-30 分配性じゃないほうのあの公理に対応する条件 IML メモ 重箱の隅に残ったごはんつぶ、二粒目。昨日の話と同じ設定で、次は同値。 で が valid 証明は、地道にやればできると思いますよ。valid なら条件を満たすほうは とか とかして背理法を使うといいと思いますよ。