◆ わからない問題はここに書いてね 187 ◆

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

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

のはなぜでしょうか。