必然性演算子▢
necessity
,
$ \Box
$ \Box P
その世界から、すべての到達可能な世界で
$ P
は真である
/mrsekut-book-4007305803/099 (3.1 命題様相論理)