様相論理の話なんですが、

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

のはなぜでしょうか。