필요충분조건: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
→‎필요 충분 조건: 점프의 정의가 틀림
19번째 줄:
 
== 충분 조건 ==
충분조건은 그것이 만족되었을 때 진술의 참을 보장한다. 예를 들어, 점프는 땅에서 떨어지기 위한 충분조건이 된다. 왜냐하면 점프 개념의 본질이 땅에서 떨어지는 것이기 때문이다.
 
'P이면 Q이다.'에서 P를 Q의 '''충분 조건'''이라 한다. Q가 P를 포함하는 개념이다.
(ex) P=자연수, Q=실수
 
== 필요 충분 조건 ==
'P이면 Q이고, Q이면 P이다.'에서 P는 Q의 '''필요충분조건'''이며, Q도 역시 P의 '''필요충분조건'''이라 한다. P가 참이면 Q도 참이며, P가 거짓이면 Q도 거짓이다. 반대로 Q가 참이면 P도 참이며, Q가 거짓이면 P도 거짓이다. 그래서, 이 때의 P와 Q를 [[동치]]라고도 한다.