위 용어들을 처음 만났을때 너무 어려운 느낌이 들어서 그냥 다시는 마주치지말자는 생각으로 이해를 포기했다. 하지만 계속 외면했을 했지만 최근에 자꾸 마주쳐서 그냥 정리를 해보고자 한다.

기본 가정

이 토픽들을 다루기 전에 가정을 해야한다.

• P가 참이면 Q가 참이다
• 가정이 참이면 결론도 참이다

필요조건

P가 참으로 존재한다면 해당 명제는 Q에 따라서 참이냐 거짓이냐로 구분된다.
그리고 Q가 없어서는 명제가 성립되지 않는다. Q는 명제 성립을 위해서 P에게 필요한 존재이다!!

충분조건

조건인 P만 있어도 명제는 참이다 왜냐하면 결론인 Q가 참으로 반드시 성립한다.

필요충분조건

그만 알아보자