くだらねぇ問題はここへ書け ver.3.14(41桁略)9937

このエントリーをはてなブックマークに追加
5 ：１３２人目の素数さん：
様相論理の話なんですが、

到達可能な世界が１つもない世界では、どんな論理式Aについても
□Aは真で◇Aは偽になる

のはなぜでしょうか。