부정 (논리학) 문서 원본 보기

{{위키데이터 속성 추적}}
{{출처 필요|날짜=2021-02-22}}
[[파일:Venn10.svg|섬네일]]
[[수리 논리학]]에서 '''부정'''(否定)은 [[명제]]의 [[진리|참]]과 [[거짓]]을 반전하는 [[논리 연산]]이다.

명제 ''P''에 대한 부정을 ¬''P'', <math>\bar{P}</math>, ~p, !''P''등으로 쓰고, ‘''P'' 가 아니다’, ‘''P'' 의 부정’, ‘''P'' 이외의 경우’라고 읽는다.

== 예시 ==
* 내 키는 160cm 이상이다
라는 명제의 부정은
* 내 키는 160cm 미만이다
이다.

== 특징 ==
다른 연산과 다르게, 대상이 되는 명제가 하나라서 단항 연산인 것을 알 수 있다.
* [[드 모르간의 법칙]]

=== 진리표 ===
{| border=1 cellpadding=2 cellspacing=0
|- style="background-color:#cccccc"
! 명제 ''P'' !! ''~P''
|- align="center"
| 참 || '''거짓'''
|- align="center"
| 거짓 || '''참'''
|}

== 같이 보기 ==
* [[긍정]]
* [[진리값]]
* [[진리표]]
* [[불 대수]]
* [[벤 다이어그램]]

{{논리 연산}}

{{전거 통제}}
{{토막글|철학}}

[[분류:논리학]]
[[분류:단항 연산]]