[명제] 필요조건, 충분조건, 필요충분조건
명제 P→Q는 가정인 P와 결론인 Q로 정의할 수 있다.
명제 P→Q가 참이면
P⇒Q
로 표현할 수 있다.
이때 조건 P는 Q이기 위한 충분조건이라하고, 조건 Q는 조건 P이기 위한 필요조건이라 한다.
만약 P⇒Q이면서 Q⇒P이면
P⇔Q
로 표현할 수 있다.
이때 조건 P는 Q이기 위한 필요충분조건이라하고, 마찬가지로 조건 Q는 조건 P이기 위한 필요충분조건이라 한다.
'Computational Thinking' 카테고리의 다른 글
중국인의 나머지 정리 (0) | 2020.03.09 |
---|