[서석준]

과제 제출일이 내일인데 과제에 대한 구체적인 스팩이 너무 부족한거 같아서 질문 드립니다.

2. LESS를 < 로 간주하면 되는 건가요?

3. 본문에
메트로가 제대로 생겼다는 것은(iff) 메트로 역 이름들이 항상 자기 이름의 지역에서만 나타나는 경우라 하였습니다.

그렇다면 checkMetro (STATION "ㅌ")은 false인가요?

그리고 항상 자기 이름의 지역에서만 이란 조건에 따르면
CONNECT( AREA("a", CONNECT( STATION "a", STATION "b")),
AREA("b", CONNECT( STATION "a", STATION "b")))는 거짓이 되어야 하나요?

메트로 역 이름들이 항상 자기 이름의 지역에서만 나타나야 하는데 여기서 보면 STATION "a"는 각자 "a"이름의 지역 "b"이름 지역 모두에서 나타납니다.

이경우 checkMetro를 돌리면 참인가요 거짓인가요?
직관적으론 참인것 같은데 문제의 설명이 너무 애매합니다.

[최준원]