논린이 논리학질문좀여

[익명(211.215)]

□p

가능세계 논리학하고있는데요

W = {w1,w2,w3} R={{w1,w2)(w2,w3)(w3,w3)}

여기서

p값이 w1 = 1 w2 =1 w3=0 일때

왜 □p의 w2의값이 1이나오나요?

당연히 0이여야되는거아닌가요 

w2에서 도달가능한건 w3밖에없고 w3의값이 거짓인 0인데 왜 1인거죠?

[익명(223.39)]

그럴리가 없는데 잘못 읽은거 아님? 아니면 그 책에선 도달가능성 순서가 반대로 정의되어 있다던가... 그럴거 같지는 않지만

[익명(211.215)]

교수가 오타난거 같아서 그냥 제 임의대로 0으로 수정하고 풀었습니다 ㅋㅋ

[익명(211.215)]

그래놓곤 오류정정공지도없길래 쫄렸어요 ㅠ