정의
“only if”는 논리학·수학·철학 등에서 사용되는 조건부 연결어구로, 앞에 제시된 명제가 뒤에 제시된 명제가 성립할 필요조건임을 나타낸다. 형식적으로 “P only if Q”는 “P ⇒ Q”와 동등하며, 이는 “P가 참이면 Q도 반드시 참이다”는 의미이다.
논리적 표기
- 명제 형식: $P \text{ only if } Q$
- 기호화: $P \rightarrow Q$ (P가 Q의 필요조건)
언어학적·일상적 사용
영어 문장에서 “only if”는 조건절을 도입할 때 사용된다. 예시:
- “You may enter the building only if you have a badge.” (출입 권한은 배지가 있을 때에만 부여된다.)
- “The experiment succeeded only if the temperature was below 0 °C.” (실험이 성공하려면 온도가 영하이어야 한다.)
관계 개념
- If (충분조건): “P if Q”는 “Q ⇒ P”와 동일.
- If and only if (필적조건): “P if and only if Q”는 “P ⇔ Q”를 의미한다.
- Necessary condition (필요조건)과 동등하게 사용된다.
어원
- only: 고대 영어 ānlic (‘하나의, 단 하나의’)에서 유래.
- if: 고대 영어 gif (‘만일’)에서 유래.
두 어휘가 결합되어 현대 영어에서 “오직 …일 때만”이라는 의미의 조건절 접속사 역할을 한다.
주의 사항
- “P only if Q”는 “P이면 Q이다”라는 의미와 동일하지만, “P if Q”와는 논리적 의미가 반대임에 유의한다.
- 일상 대화에서는 “only if”가 종종 “조건이 충족될 때만”이라는 의미로 광범위하게 쓰인다.
참고
- 형식 논리학 및 수학 교재에서 “only if”는 표준 용어로 다루어지며, 논리 연산자 ‘→’(조건부)와 직접 연계된다.
- 영문법 서적에서도 조건절 접속사 중 하나로 정의된다.
