iff
C2technical‘필요충분조건으로’, ‘…일 때 그리고 오직 그때에만’이라는 뜻의 논리·수학 용어
conjunction접속사
- 1
필요충분조건으로 — 두 명제가 서로 필요충분조건임을 나타내는 말; …일 때 그리고 오직 그때에만C2〔logic〕
if and only if; used to say that one statement is true exactly when another statement is true
A number is even iff it is divisible by 2.
어떤 수는 2로 나누어떨어질 때 그리고 오직 그때에만 짝수이다.
Two propositions are equivalent iff each implies the other.
두 명제는 서로가 서로를 함의할 때 그리고 오직 그때에만 동치이다.
뉘앙스 · 쓰임
if는 보통 한쪽 방향의 조건만 나타내지만, iff는 양쪽 방향의 조건을 모두 나타냅니다. 즉 ‘A iff B’는 ‘A이면 B이고, B이면 A이다’라는 뜻입니다. ‘equivalent to’는 의미가 비슷하지만, iff는 문장이나 명제 사이를 연결하는 더 엄밀한 논리 표현입니다.
수학·논리학·컴퓨터 과학 같은 전문 분야에서 주로 소문자로 씁니다. 일반 글이나 대화에서는 ‘if and only if’라고 풀어 쓰는 것이 더 명확합니다. 초급 학습자는 iff를 일반적인 if의 강조형으로 오해하지 않도록 주의해야 합니다.
유의어 뉘앙스 비교
- if and only if
- iff의 풀어 쓴 형태로, 더 명확하고 비전문 독자에게도 이해하기 쉽습니다.
- equivalent to
- 비슷하게 동등성을 나타내지만, iff는 보통 두 명제나 조건을 직접 연결하는 논리 접속사입니다.
자주 쓰는 표현 · Collocations
clause+conjunction+clause
- P iff QP일 때 그리고 오직 그때에만 Q
adjective+conjunction
- true iff…일 때 그리고 오직 그때에만 참인
- equivalent iff…일 때 그리고 오직 그때에만 동치인
verb+noun
- prove the iff statement필요충분조건 명제를 증명하다
어원 · 암기 팁
[English]영어 표현 ‘if and only if’를 수학·논리학에서 짧게 쓴 약어입니다.
if + and only if의 축약형
💡 가운데 f가 하나 더 있다고 생각해 ‘if가 양방향으로 두 번 적용된다’고 기억하면 좋습니다: A이면 B, B이면 A.
최초 사용 시기: circa 1955