[이산수학] 다양한 조건문 표현 모음 (if~, then~)

수학적 추론에서 매우 중요한 역할을 하는 조건문 표현들에 대해 정리해보았다. "If P, then Q" (P가 참이면 Q가 참이다.)

"If P is true, then Q is true" (P가 참이면 Q도 참이다.) "P implies Q" (P는 Q를 함축한다.)

"P is a sufficient condition for Q" (P는 Q의 충분 조건이다.) "P only if Q" (P가 참이면 Q도 참이어야 한다.)

"P is a necessary condition for Q" (P는 Q의 필요 조건이다.) "P leads to Q" (P는 Q로 이끈다.)

"P entails Q" (P는 Q를 포함한다.) "P is a prerequisite for Q" (P는 Q의 선행 조건이다.)

"P res.....