문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 조건문 (문단 편집) == 실질 조건문: [[고전 논리]]를 통한 분석 == {{{+1 Material conditionals}}} 현대의 실질 조건문과 비슷한 형태의 분석은 [[메가라학파]]까지 거슬러 올라가나, "실질 함의문(material implication)"이라는 명칭을 제안하고 명시적인 정의를 제시한 것은 [[버트런드 러셀]]과 [[화이트헤드]]의 『수학 원리(Principia Mathematica)』다. 『수학 원리』에서 실질 조건문은 다음과 같이 표현된다. > [math( P \supset Q)] [* 이때 실질 조건문을 나타내는 말발굽(horseshoe) 기호 '⊃'는 [[집합론]]에서의 부분집합 관계를 나타내는 기호와 생김새는 같지만, [[https://math.stackexchange.com/questions/1106001/why-is-there-this-strange-contradiction-between-the-language-of-logic-and-that-o|전혀 다른 의미라는 점에]] [[https://philosophy.stackexchange.com/questions/31029/why-was-the-horseshoe-symbol-%E2%8A%83-selected-for-material-implication| 유의해야한다]].] 이때 "P ⊃ Q"는 '''"P가 아니거나, Q다."'''로 정의된다. 즉 P ⊃ Q는 오직 P가 참이며 Q가 거짓일 때에만 거짓이며, 나머지 경우에는 참이다. 즉 다음과 같은 [[동치|논리적 동치]]가 성립한다. [math( \left( p \supset q \right) \equiv \left( \neg p \vee q \right) )] [[명제 논리|진리표]]를 사용할시 'P ⊃ Q'은 다음과 같이 정의된다. || '''P''' || '''Q''' || '''P ⊃ Q''' || ||T||T|| T || ||T||F|| F || ||F||T|| T || ||F||F|| T || 조건문을 실질 조건문으로 분석한다는 것은 곧 ''''P → Q'를 'P ⊃ Q'로 정의'''한다는 것이다. 요컨대 "만약 사과가 과일이면, 과일은 고체다"는 "사과가 과일이 아니거나, 과일은 고체다"와 같은 의미로 정의된다는 것.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기