19.8 필연과 가능의 의미론적 해석