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

やったからといって特に何があるわけでもないけど、気になるので重箱の隅に残ったごはん粒をつつくお仕事。 問題 直観主義様相論理の Kripke semantics では、定式化によっては次の公理が必ずしも真になりません。 で、この二つの公理のうち一方だけが真にな…