실질 함의 (Material Implication)
한 줄 정의: 'P이면 Q이다'라는 조건문을 'P가 거짓이거나 Q가 참인 경우'로 정의하는 명제논리의 진리함수적 조건 개념이다.
쉽게 풀면
실질 함의는 조건문 'P이면 Q이다'를 아주 단순하게, 'P가 거짓이거나(전건이 성립 안 함) Q가 참인(후건이 성립함) 경우에만 이 조건문 전체를 참으로 친다'는 규칙으로 정의한다. 이 정의에 따르면 전건이 거짓이기만 하면 후건이 무엇이든 조건문 전체가 자동으로 참이 되는 다소 이상한 결과가 생긴다.
논문에서는 이렇게 쓰입니다
"실질 함의의 역설은 거짓인 전건이 임의의 후건을 자동으로 참으로 만든다는 직관에 반하는 결과를 낳는다."
실질 함의의 정의상, 전건이 거짓이기만 하면 그 조건문 전체가 후건의 내용과 무관하게 참이 되어버리는 반직관적 결과(실질 함의의 역설)가 발생한다는 것을 설명한다.
주의할 점
실질 함의는 명제논리의 형식적 정의이며, 일상어의 '만약~라면'이 담고 있는 인과적·필연적 뉘앙스를 완전히 포착하지 못한다는 점에서 자연어 조건문과 동일시하지 않도록 주의해야 한다.