명제·조건과 논리적 함의

계산 전에 주장을 읽기

학습 알고리즘의 정리는 흔히 ‘가정이 성립하면 결론이 따른다’고 말합니다. 이를 ‘결론이 관측되었으므로 가정이 맞다’고 읽으면 방향이 바뀝니다. 수렴·일반화·과학적 근거에 관한 혼동이 이런 작은 논리 오류에서 시작됩니다.

명제는 해석을 정했을 때 참·거짓이 결정되는 문장입니다. ‘이 행렬은 가역이다’는 행렬을 고정하면 명제입니다. ‘$x>0$’은 값을 넣거나 정의역에서 양화하기 전에는 자유변수를 가진 술어입니다. 질문·명령·모호한 약속은 명제가 아닐 수 있습니다.

이 단원은 고전 이값 논리를 사용합니다. 실제 관측의 불확실성이 항상 단순한 참·거짓으로 해결된다는 주장은 아닙니다.

기호와 범위

괄호가 중요합니다. $P\land Q$ 전체를 부정하는 것과 $P$만 부정하는 것은 다릅니다. 여기의 ‘또는’은 둘 다 참인 경우를 포함하며, 정확히 하나만 참이려면 별도 조건이 필요합니다.

금지하는 경우에서 함의 만들기

$P\Rightarrow Q$는 P는 참인데 Q는 거짓인 경우 하나를 금지합니다.

즉,

입니다. 기준 설정 P=1,Q=0에서 원래 함의는 거짓입니다. P=0,Q=1에서는 원래 함의는 참이지만 역은 거짓입니다. 둘 다 참인 한 행에서 일치한다고 논리적으로 동치인 것은 아닙니다. 모든 배정에서 같아야 합니다.

필요조건과 충분조건

$P\Rightarrow Q$이면 P는 Q의 충분조건, Q는 P의 필요조건입니다. ‘n은 4의 배수’는 ‘n은 짝수’의 충분조건입니다. 짝수라는 것은 4의 배수에 필요하지만 충분하지는 않습니다. n=2가 역방향의 반례입니다.

‘필요’는 가정이 성립할 때 반드시 따라야 하는 성질에 붙습니다. 원인이라는 뜻은 아닙니다. 필요충분조건이라고 하려면 양방향 함의를 각각 확보해야 합니다.

실수 정사각행렬에서 역행렬 존재와 0이 아닌 행렬식은 동치입니다. 차원과 체를 명시한 진짜 동치입니다. 임의 직사각형 행렬로 바꾸면 문장과 정의를 다시 검토해야 합니다.

대우는 원래 주장을 보존한다

대우는 $\neg Q\Rightarrow\neg P$입니다.

따라서 원래 함의와 같습니다. 역 $Q\Rightarrow P$와 이 $\neg P\Rightarrow\neg Q$는 서로 동치이지만 일반적으로 원래 주장과는 다릅니다.

증명 전략에서 중요합니다. 대우를 증명하면 원래 조건문을 증명합니다. 역만 증명하면 다른 정리를 얻고 원래 질문은 해결하지 못할 수 있습니다.

공허한 참은 사례의 증거가 아니다

P가 거짓이면 이 정의에서 $P\Rightarrow Q$는 참입니다. 함의가 위반되지 않았다는 뜻이며, P를 만족하는 사례가 존재하거나 Q가 독립적으로 참임을 보장하지 않습니다.

예를 들어 ‘선택한 모형 중 P를 가진 모형은 모두 Q도 가진다’는 P 모형이 하나도 없어도 참입니다. 보편적인 평가 문장을 읽기 전에 가정을 실제로 만족한 대상이 있었는지 물어야 합니다. 모든 적격 사례에 대한 문장이 타당해도 성공 사례를 제공하지 않을 수 있습니다.

논리적 함의는 시간·개입·인과를 담지도 않습니다. P 다음에 Q가 관측되었다고 진리표가 인과 실험으로 바뀌지는 않습니다. 별도의 가정과 증거가 필요합니다.

올바른 추론과 흔한 오류

전건 긍정은 $P\Rightarrow Q$와 P로부터 Q를 얻습니다. 후건 부정은 같은 함의와 $\neg Q$로부터 $\neg P$를 얻습니다. 둘 다 진리표의 가능한 행을 좁혀 확인합니다.

반대로 Q가 참이라는 이유로 P를 얻는 후건 긍정은 P 거짓·Q 참 행에서 실패합니다. P가 거짓이라는 이유로 Q도 거짓이라고 하는 전건 부정도 같은 행에서 실패합니다.

AI의 충분 수렴 정리는 매끄러움·학습률·잡음 모형을 가정할 수 있습니다. 수렴을 관측했다고 모든 가정이 맞았다고 증명되지는 않습니다. 충분조건 하나가 실패했다고 수렴이 불가능한 것도 아닙니다. 다른 정리나 기제가 적용될 수 있습니다.

실험 읽기

표는 무작위 표본이 아니라 네 배정을 모두 나열합니다. 함의 격자의 행·열 0/1은 P와 Q를 나타냅니다. 색뿐 아니라 T/F 문자로 진릿값을 표시합니다. 선택한 P,Q를 바꾸면 수치 표시가 바뀌며 논리 정의는 그대로입니다.

역과 대우 열을 비교해 어느 행이 다른지 확인하세요. 색칠한 칸은 논리적 배정이지 보정된 확률이 아닙니다. 다음 단원에서는 객체에 관한 술어와 양화사를 도입합니다.

연습과 연구 습관

1. P를 ‘결측값이 없다’, Q를 ‘학습 코드가 실행된다’로 두고 두 방향 모두 자동으로 성립하지 않는 이유를 설명하세요.
2. ‘단사 함수라면 다른 입력이 같은 출력에 가지 않는다’의 대우를 적으세요.
3. 역방향 추론을 깨는 배정은? 답: P 거짓·Q 참입니다.
4. 논문 정리에서 모든 가정과 결론을 분리하고 충분·필요 여부를 적으세요. 충분 정리를 동치로 바꾸어 읽지 마세요.

보충 자료는 MIT Mathematics for Computer Science 교재를 참고하세요. 진리표와 예제는 이 교재의 직접 구성입니다.