가언 명제

위키백과, 우리 모두의 백과사전.

가언(假言)이 어떤 조건을 가정한 말이라고 정의해보면, 가언명제(假言命題)는 철학,논리학에서 가언적 판단을 나타낸 명제를 가리킨다.

가언 삼단논법[편집]

가언삼단논법(假言三段論法)은 가언적 판단을 전제로 하는 삼단논법이다.

만약 A가 B라면 C는 D다.
A는 B다.
고로 C는 D다.

라는 식의 논법이다.

전건과 후건[편집]

만일 A라면 B이다.

전건(前件)은 앞에서 언급된 조항이나 사건으로 가언적 판단에서는 그 조건, 이유 따위를 표시하는 부분으로 '만일 A라면'에서처럼 A에 해당한다. 한편 후건(後件)은 가언적 판단에서 귀결(歸結)을 표시하게되는 부분이다. 서술부에 해당하며 B를 가리킨다. 한편 이러한 전건과 후건의 긍정과 부정은 타당한 결론이 가능한지를 전제되는 명제들만으로도 검증할 수 있게하는 판별의 추론 형식을 제공한다.

따라서 가언적 삼단논법의 결론과 상관없이 사전적으로 전건 긍정후건 부정의 전제는 참이나 후건 긍정 및 전건 부정은 거짓임을 확인할 수 있다.

같이 보기[편집]

참고[편집]