부정 (논리학)

이 문서의 내용은 출처가 분명하지 않습니다. 이 문서를 편집하여, 신뢰할 수 있는 출처를 표기해 주세요. 검증되지 않은 내용은 삭제될 수도 있습니다. 내용에 대한 의견은 토론 문서에서 나누어 주세요. (2021년 2월)

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

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

예시

• 내 키는 160cm 이상이다

라는 명제의 부정은

• 내 키는 160cm 미만이다

이다.

특징

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

• 드 모르간의 법칙

같이 보기

• 긍정
• 진리값
• 진리표
• 불 대수
• 벤 다이어그램

이 글은 철학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다.