실질 조건문 (Material Conditional)
한 줄 정의: 명제논리에서 '→'로 표시되며, 전건이 거짓이거나 후건이 참일 때에만 전체가 참이 되도록 정의되는 진리함수적 연결사이다.
쉽게 풀면
실질 조건문은 명제논리에서 'P→Q'로 표기되는 연결사로, P가 거짓이면 Q가 무엇이든 상관없이 전체 문장이 참이 되고, P가 참이면 Q가 참일 때만 전체가 참이 된다는 진리표에 의해 정의된다. 이는 일상어의 조건문과 정확히 일치하지는 않지만 형식논리에서 표준적으로 사용된다.
논문에서는 이렇게 쓰입니다
"명제논리 체계에서 조건 연결사는 실질 조건문으로 해석되며, 이는 형식적 증명 체계 구축에 편리한 진리함수적 정의를 제공한다."
형식논리 체계를 구축할 때 조건 연결사를 굳이 복잡한 인과적 의미가 아니라 단순한 진리함수(실질 조건문)로 정의함으로써, 증명과 계산이 기계적으로 가능해지는 실용적 이점을 설명한다.
주의할 점
실질 조건문과 반사실적 조건문은 다르다. 실질 조건문은 오직 실제 진리값에만 의존하지만, 반사실적 조건문은 전건이 실제로 거짓인 상황에서의 가상적 결과까지 고려한다는 차이가 있다.