So π ( s ) ( p ) {\displaystyle \pi (s)(p)} tells us whether p is true in state s in model M {\displaystyle {\mathcal {M}}} .
したがって π ( s ) ( p ) {\displaystyle \pi (s)(p)} により、モデル M {\displaystyle {\mathcal {M}}} において s という状態での p の真理値がわかる。