다음으로부터 추론한 것으로 옳지 않은 것은?

연역적 질의-응답 체계는 주어진 데이터베이스(DB)에 근거하여 입력된 명제에 대한 판정을 출력한다.
이 과정에서 DB는 '열린 세계' 또는 '닫힌 세계' 중 하나로 가정된다.

DB를 열린 세계로 가정하면, DB는 관련 영역에 대한 모든 정보를 갖는 것은 아니다.
따라서 DB 내에 명제로 표현된 사실들, 또는 그 명제들을 이용하여 참(또는 거짓)을 논리적으로 증명할 수 있는 명제들만 참(또는 거짓)으로 판정된다.
참 또는 거짓을 증명할 수 없는 명제는 결정불가능이라는 판정을 받는다.

DB를 닫힌 세계로 가정하면, DB는 관련 영역에 대한 모든 정보를 갖는다.
따라서 참을 증명할 수 있는 명제는 참, 그렇지 않은 명제는 거짓으로 판정된다.

한 항공사의 운항 정보 DB가 다음 <사실>을 포함하고 있고 <규칙>이 적용된다고 하자.

<사실>

○ 서울발 제주행 항공편이 있다.

○ 제주발 부산행 항공편이 있다.

○ 광주발 부산행 항공편이 있다.

<규칙>

○ 'X발 Y행 항공편이 있다'와 'Y발 X행 항공편이 있다'는 동일하게 판정한다.

○ 'X와 Y가 항공편으로 연결된다'와 'X발 Y행 항공편이 있거나, X와 Y 모두와 항공편으로 연결된 Z가 있다'는 동일하게 판정한다.

① 열린 세계를 가정하면 '광주발 제주행 항공편이 있다'는 결정불가능으로 판정된다.

② 열린 세계를 가정하면 '부산과 광주가 항공편으로 연결된다'는 참으로 판정된다.

③ 닫힌 세계를 가정하면 '제주발 서울행 항공편이 없다'는 거짓으로 판정된다.

④ 닫힌 세계를 가정하면 '서울과 부산이 항공편으로 연결되지 않는다'는 참으로 판정된다.

⑤ 열린 세계를 가정하든 닫힌 세계를 가정하든 '광주와 서울이 항공편으로 연결되지 않는다'는 거짓으로 판정된다.