수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다.
이 문서의 내용은 출처가 분명하지 않습니다. (2021년 2월) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/73/Venn10.svg/220px-Venn10.svg.png)
명제 P에 대한 부정을 ¬P, , ~p, !P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다.
예시
- 내 키는 160cm 이상이다
라는 명제의 부정은
- 내 키는 160cm 미만이다
이다.
특징
다른 연산과 다르게, 대상이 되는 명제가 하나라서 단항 연산인 것을 알 수 있다.
진리표
명제 P | ~P |
---|---|
참 | 거짓 |
거짓 | 참 |
같이 보기
![]() |
이 글은 철학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |