様相記号
modal operator
必然性演算子▢
$ \Box
可能性演算子◇
$ \Diamond
雑な理解
その世界から到達可能な世界での論理式の成立の話をしている
ある世界から、到達可能な世界が
いくつかあり、それら全て($ \forall的な)の世界で真なら$ \square
いくつかあり、少なくともどこか1つ($ \exist的な)で真なら$ \Diamond
$ \Diamondは、$ \Boxによって定義できるので、/mrsekut-book-4007305803/099 (3.1 命題様相論理)の構文論の定義には$ \Boxしか含まれていないmrsekut.icon