Processing math: 100%

[명제] 필요조건, 충분조건, 필요충분조건

명제 PQ는 가정인 P와 결론인 Q로 정의할 수 있다.

명제 PQ가 참이면

PQ

로 표현할 수 있다.

이때 조건 PQ이기 위한 충분조건이라하고, 조건 Q는 조건 P이기 위한 필요조건이라 한다.


만약 PQ이면서 QP이면

PQ

로 표현할 수 있다.

이때 조건 PQ이기 위한 필요충분조건이라하고, 마찬가지로 조건 Q는 조건 P이기 위한 필요충분조건이라 한다.

'Computational Thinking' 카테고리의 다른 글

중국인의 나머지 정리  (0) 2020.03.09