様相論理 is Fun

様相論理の学習ノートです

MENU

様相論理の練習問題

数直線上における点$P$の移動を考える。時刻$t=0$において、$x=0$の位置に点$P$があるとし、$P$は1秒ごとにランダムに、$x$軸の正の向きに$1$または$2$進む.

 

このとき、$t=1$のときに$P$が$x=1$の位置にあることは可能であり、$t=1$のときに$x=0$の位置にないことは必然である. 

 

このような文の解釈を、適当にモデルを定義することによって実現せよ.