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

수학적 추론에서 매우 중요한 역할을 하는 조건문 표현들에 대해 정리해보았다.

1. "If P, then Q" (P가 참이면 Q가 참이다.)
2. "If P is true, then Q is true" (P가 참이면 Q도 참이다.)
3. "P implies Q" (P는 Q를 함축한다.)
4. "P is a sufficient condition for Q" (P는 Q의 충분 조건이다.)
5. "P only if Q" (P가 참이면 Q도 참이어야 한다.)
6. "P is a necessary condition for Q" (P는 Q의 필요 조건이다.)
7. "P leads to Q" (P는 Q로 이끈다.)
8. "P entails Q" (P는 Q를 포함한다.)
9. "P is a prerequisite for Q" (P는 Q의 선행 조건이다.)
10. "P results in Q" (P는 Q의 결과로 이어진다.)
11. "P is a cause of Q" (P는 Q의 원인이다.)
12. "Q if P" (P가 참이면 Q이다.)
13. "In the presence of P, Q occurs" (P가 존재할 때 Q가 발생한다.)
14. "P implies that Q is true" (P는 Q가 참임을 나타낸다.)
15. "Whenever P is true, Q is also true" (P가 참일 때마다 Q도 참이다.)