이중부정 문서 원본 보기

{{위키데이터 속성 추적}}
'''이중 부정'''(二重否定)은  언어학이나 논리학에서 '한 문장이나 문구에서 부정어가 두 번 사용되어 내용적으로 긍정이 되는 부정법'을 가리킨다. 이러한 이중부정의 방법은 한 번 부정한 것을 다시 한번 부정하여 긍정을 나타내는 [[논리식]]의  중요한 형식중 하나이다.  기호로는 Double Negation의 약자인 DN 이다

==예==
다음은 'A이면 B이다' 의 [[추론 형식|추론형식]]을 사용하기 위해 이중부정 [[논리기호]]를 도입하는 유도과정이다.
:(대전제) A이면 B가 아니다.  <math>( A \to \neg B )</math>
:(소전제) B이다.           <math>( B )</math>


:(대전제) A이면 B가 아니다.  <math>( A \to \neg B )</math>
:(소전제) B가 아니지 않다.   <math>( \neg\neg B ) </math>


:(대전제) A이면 B이다.     <math>( A \to  B )</math>
:(소전제) B가 아니다.      <math>(\neg B )</math>

== 같이 보기 ==
* [[드 모르간의 법칙]]
* [[기호논리학]]

== 각주 ==
{{각주}}


[[분류:문법]]
[[분류:의미론 (언어학)]]
[[분류:애매성]]