부정

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

수리 논리학에서 부정(否定, NOT)은 명제의 참과 거짓을 반전하는 논리 연산이다.

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

목차

[편집] 예시

  • 내 키는 160cm 이상이다

라는 명제의 부정은

  • 내 키는 160cm 미만이다

이다.

[편집] 특징

다른 연산과 다르게, 대상이 되는 명제가 하나라서 단항 연산인 것을 알 수 있다.

[편집] 진리표

명제 P ~P
참 거짓
거짓 참

[편집] 같이 보기

v • d • e
논리 연산
AND · OR · NOT · NAND · NOR · XOR
원본 주소 ‘http://ko.wikipedia.org/wiki/%EB%B6%80%EC%A0%95’