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)} אומר האם p אמיתי במצב s במודל M {\displaystyle {\mathcal {M}}} .