안내문과 규칙 속 논증을 어떻게 읽나요?

그럴 수 있습니다. 이번 편에서는 학습용으로 만든 가상 실습 안내문을 읽겠습니다. 실제 기관의 규정이 아닙니다. 먼저 주어진 문장과 우리가 궁금한 결론을 나누어 보겠습니다.

그럴 가능성은 있습니다. 다만 세 문장이 그 결론을 반드시 보장하는지 살펴보겠습니다. 자격을 얻는 조건과 예약이 확정되는 조건이 같은지는 아직 확인하지 않았습니다.

글자와 함께 대상·시점·상태를 정해야 합니다. “어제 회원이었다”와 “오늘 회원이다”는 달라질 수 있습니다. “예약 신청을 했다”와 “예약이 확정되었다”도 같은 사실이 아닙니다. 이번에는 안내문에 정한 오후 6시의 상태를 유지하겠습니다.

E는 자격만 뜻합니다. 실습에 실제로 참석했는지는 아직 다른 정보입니다. 같은 “참여”라는 낱말이 들어가도 자격과 실제 행동을 한 기호로 합치지 않겠습니다.

그 식은 모든 신청자가 회원이고 교육을 마쳤으며 자격도 있다고 말합니다. 안내문은 그보다 좁은 집단을 조건으로 삼았습니다. “어떤 신청자를 골랐을 때, 그 사람이 회원이고 교육을 마쳤다면 자격이 있다”로 풀어 보세요.

①만으로는 그 사람의 자격을 정할 수 없습니다. 그 사람은 앞의 두 조건을 함께 만족하지 않으므로, 이 문장이 그 경우의 E를 결정하지 않습니다. 다른 자격 경로가 있는지는 추가 안내가 필요합니다.

여기서는 그렇게 읽겠습니다. 예약 확정자를 골랐는데 자격이 없다면 ②가 어긋납니다. 따라서 방향은 R(x)→E(x)입니다. 자격 E는 예약 확정 R의 필요한 조건입니다.

네. 예약 신청을 하지 않았거나 다른 조건을 충족하지 못했을 수도 있습니다. 정확한 이유를 새 전제로 넣을 필요도 없습니다. ②만으로 E→R이라는 반대 방향이 보장되지 않는다는 점을 확인하면 됩니다.

세 전제를 아래에 적겠습니다. ③은 회원과 교육 이수라는 두 사실의 연언입니다. ①을 아라에게 적용한 뒤 이 연언으로 조건문의 앞부분을 충족하면 됩니다.

괜찮습니다. 주어진 전제를 모두 반드시 사용해야 하는 규칙은 없습니다. 이번 결론은 ①과 ③만으로도 따라옵니다. 중요한 것은 사용한 각 줄의 근거가 올바르다는 점입니다.

증명을 찾지 못했다는 사실만으로는 부족합니다. 세 전제는 모두 참이고 R(a)는 거짓인 상황을 직접 만들어 보겠습니다. 이번 반모형의 영역은 신청자 아라와 보라 두 사람뿐이고 a는 아라입니다.

따라서 원래 세 전제로부터 R(a)는 논리적으로 따라오지 않습니다. 동시에 이 반모형은 실제 아라가 예약하지 않았다는 조사 결과를 뜻하지도 않습니다. 주어진 정보가 무엇을 보장하는지 확인하기 위해 만든 가상 해석입니다.

①만 따로 보면 그렇지 않습니다. 영역에 신청자는 있어도 회원은 없을 수 있습니다. 이번 절에서는 아라에 관한 ③을 잠시 빼고 ① 하나만이 보장하는 내용을 살펴보겠습니다.

맞습니다. 따라서 ① 하나에서 회원의 존재나 자격자의 존재를 얻을 수 없습니다. 다만 ∃x(M(x)∧T(x))를 별도 전제로 더하면 자격을 가진 사람이 있다는 결론을 증명할 수 있습니다.

이번 절에서는 같은 신청자 영역과 기준 시각을 유지하면서 X(x)를 “x가 기초교육 면제를 승인받았다”로 추가합니다. 그리고 원래 ① 대신 다음 별도의 문장을 분석하겠습니다. “면제 승인을 받지 않은 회원은 모두 교육을 마쳤습니다.”

네. 첫 문장은 그 경우의 T를 결정하지 않습니다. “제외”라는 말이 어떤 상황에서는 반대 사실을 함께 암시할 수 있으므로, 실제 문맥에서 무엇을 의도했는지 확인해야 합니다. 여기서는 적용 대상만 제한하는 뜻으로 정해 분석했습니다.

그 표현만으로는 괄호를 확정하기 어려울 수 있습니다. 이번 절에서는 두 후보를 나란히 적어 보겠습니다. M·T·X의 뜻은 앞과 같습니다. 자격 결론을 붙이기 전에 조건 자체가 누구를 포함하는지 먼저 비교합니다.

그 사람에게 M은 거짓, X는 참입니다. 후보 A는 거짓이고 후보 B는 참입니다. 두 문구의 차이를 이런 경우로 설명하면, 작성자도 어떤 뜻을 의도했는지 확인하기 쉽습니다. 글의 다른 부분에서 비회원의 면제를 금지했다면 그 추가 문장도 함께 검토해야 합니다.

“참석해야 할 의무가 있다”와 “실제로 참석했다”를 먼저 나누어야 합니다. 이번 절에서는 실습이 끝난 뒤를 생각하되, 예약 상태 R은 앞서 정한 오후 6시 기준을 유지합니다. O(x)는 “그 예약 때문에 실습에 참석할 의무가 부여된다”, H(x)는 “실습 당일 실제로 참석했다”로 새로 정합니다.

맞습니다. 의무를 지키지 않은 경우를 논리적으로 표현할 수 있어야 합니다. H(a)를 결론으로 얻으려면 실제 참석 사실이나 의무 이행을 보장하는 별도 전제가 필요합니다. 마찬가지로 자격 E(a)가 실제 참석 H(a)를 자동으로 뜻하지도 않습니다.

일상어의 “한 명”이 적어도 한 명을 뜻하는지, 딱 한 명을 뜻하는지 문맥을 확인해야 합니다. 이번 절의 영역은 다시 이번 실습 신청자 전체이고 D(x)는 “x가 기준 시각의 신청자 대표다”입니다. 원하는 수량을 명확히 나누어 적겠습니다.

신원은 따로 알아야 합니다. 아라가 대표라는 D(a)가 없으면 유일한 대표가 보라일 수도 있습니다. 또 a와 b라는 이름 두 개가 등장한다고 두 사람이 다르다고 볼 수도 없습니다. 이름이 같은 사람을 가리키는 경우를 8편에서 살펴보았지요.

이 절에서는 영역을 해당 실습의 신청자와 안내자 전체로 넓힙니다. R(x)는 기존 기준 시각에 예약이 확정된 신청자, L(y)는 안내자, G(x,y)는 “x에게 y가 안내자로 배정되었다”입니다. 관계의 첫 자리는 안내받는 사람, 두 번째 자리는 안내자입니다.

그 경우를 완전한 작은 해석으로 정해 보겠습니다. 영역은 아라·보라·다온·라온이고, 예약 확정자는 아라와 보라뿐이며 안내자는 다온과 라온뿐입니다. G는 다음 표의 참인 두 쌍에서만 성립하고 나머지 모든 쌍에서는 거짓입니다.

증명은 주어진 전제들이 참일 때 결론도 참이라는 연결을 확인합니다. 전제가 실제로 맞는지는 자료를 조사해야 합니다. 처음의 자격 안내문으로 돌아가, 누군가 예약은 확정되었지만 자격은 없다는 사실을 확인했다고 해 보겠습니다.

기록이 완전한지, 다른 이름이나 다른 창구의 확정 내역은 없는지 확인해야 합니다. 기록을 아직 못 찾았다는 사실과 예약이 확정되지 않았다는 사실은 구별됩니다. 고전 논리에서 R(a)의 값은 참 또는 거짓이어도, 우리가 어느 쪽인지 모를 수 있습니다.

그 점이 중요합니다. 마지막 연습에서는 다시 영역을 실습 신청자 전체로 두고 M·T·E·R의 뜻과 기준 시각은 처음대로 씁니다. 전제는 아래 세 개뿐입니다. 아라의 신원에 관한 별도 사실은 주어지지 않습니다.

오늘의 전제들로는 “자격을 가진 신청자가 적어도 한 명 있다”고 말할 수 있습니다. 그 사람이 누구인지, 예약 확정자가 있는지, 모두에게 자격이 있는지는 이 전제들만으로 정해지지 않습니다. 마지막 20편에서는 이런 읽기부터 증명과 반모형까지 한 사례를 스스로 끝까지 이어 보겠습니다.