지원 통로를 이용했으니 모두 우선카드를 가진 사람일까?

1. 원규칙과 역조건의 화살표를 분리합니다

P를 ‘우선카드가 있다’, Q를 ‘지원 통로를 이용할 수 있다’로 두면 원규칙은 P→Q입니다. 원규칙을 어기는 사례는 P이면서 Q가 아닌 경우입니다.

‘지원 통로를 이용하면 우선카드가 있다’는 Q→P로 방향이 바뀐 별도 문장입니다. 원문이 역방향을 말하지 않았다면 자동으로 추가하지 않습니다.

참고: Open Logic Project · forall x: Calgary · The Material Conditional

2. 역조건은 Q이면서 P가 아닌 사례 하나로 검사합니다

직원 동행으로 통로를 이용한 나래는 Q이지만 P가 아닙니다. 임시 허가를 받은 다온도 같은 구조입니다. 둘 중 하나만 실제로 허용돼도 ‘모든 통로 이용자는 카드 소지자’라는 역조건은 성립하지 않습니다.

이 사례들은 원규칙을 어기지 않습니다. 원규칙은 카드가 있는 사람의 이용 가능성을 말할 뿐, 카드가 없는 사람을 모두 금지한다고 말하지 않았기 때문입니다.

3. 숨은 ‘오직’과 추가 허용 조건을 문서에서 찾습니다

규정에 ‘오직 우선카드 소지자만’이라고 쓰였거나, 다른 허용 조건이 없다고 명시됐다면 역방향을 뒷받침하는 별도 근거가 생깁니다. 반대로 직원 동행·임시 허가가 있으면 허용 조건은 P∨E∨T처럼 여러 갈래입니다.

현장에서는 한 문장만 떼지 말고 정의, 예외, 임시 조치와 권한 범위를 함께 읽습니다. 개인의 실제 자격을 추측하는 데 이 가상 사례를 쓰지 않습니다.

4. 결론을 자료 범위에 맞게 고칩니다

안전한 결론은 ‘통로 이용자 중에는 우선카드 소지자 외에 직원 동행자와 임시 허가자가 있을 수 있다’입니다. 카드 소지 비율을 알려면 실제 기록과 개인정보 보호 절차가 필요합니다.

이 글은 이전의 필요·충분조건 연습에서 한 걸음 나아가, 하나의 규칙에 여러 허용 경로가 붙을 때 역조건 반례가 어떻게 생기는지 다룹니다.