1. 필요조건과 충분조건
"if and only if"[1]의 축약. '필요충분조건' 관계를 의미한다.#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[필요조건과 충분조건#s-|]]번 문단을#!if 문단 == null & 앵커 != null
의 [[필요조건과 충분조건#|]] 부분을2. 피아식별장치
#!if (문단 == null) == (앵커 == null)
를#!if 문단 != null & 앵커 == null
의 [[피아식별장치#s-|]]번 문단을#!if 문단 == null & 앵커 != null
의 [[피아식별장치#|]] 부분을[1] 직역하면 "만약 (~라면), 그리고 오로지 그 만약의 경우"