-
전제조건
합성명제, 조건문: p(x)이면 q(x)이다.
두 명제 p(x)와 q(x)를「…이며」으로 결합하여 만든「p이면 q이다」라는 합성명제가 참일 때를 조건으로 한다.Ex 이것이 라면이면 음식이다.
필요조건(necessary condition)
위 합성명제에서 q(x)를 p(x)이기 위한 필요조건이라고 한다.
합성명제가 참이면 p(x)가 참인 모든 경우에 대해 언제나 q(x)가 참이다. q(x)가 참이 아니면 결코 p(x)가 아니다. p(x)이기 위해서는 q(x)일 것이 "필요"하다
음식의 조건은 라면의 조건이 성립하기 위한 필요조건이다.
라면은 음식에 완전 포함된다. 모든 라면은 음식에 포함된다. 라면이기 위해서는 음식일 "필요"성이 있다.음식은 라면이기 위한 필요조건.
충분조건(sufficient condition)
라면의 조건은 음식의 조건이 성립하기 위한 충분조건이다.
라면은 음식에 완전 포함된다. 모든 라면은 음식에 포함된다. 라면이기 위해서는 음식일 "필요"성이 있다.라면은 음식이기 위한 충분조건.
필요충분조건(necessary and sufficient condition)
필요충분조건이란 어떤 명제가 성립하기 위해서 어떤 조건이 필요하다고 할 때, 반대로 그 조건만 있어도 명제가 성립하는 조건을 말한다