부정 (논리학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 봇: 틀 이름 및 스타일 정리 |
편집 요약 없음 |
||
1번째 줄:
{{다른 뜻}}
[[수리 논리학]]에서 '''부정'''(否定)은 [[명제]]의 [[진리|참]]과 [[거짓]]을 반전하는 [[논리 연산]]이다.
명제 ''P''에 대한 부정을 ¬''P'', <math>\bar{P}</math>, !''P''등으로 쓰고, ‘''P'' 가 아니다’, ‘''P'' 의 부정’, ‘''P'' 이외의 경우’라고 읽는다.
== 예시 ==
* 내 키는 160cm 이상이다
라는 명제의 부정은
* 내 키는 160cm 미만이다
이다.
== 특징 ==
다른 연산과 다르게, 대상이 되는 명제가 하나라서 단항 연산인 것을 알 수 있다.
* [[드 모르간의 법칙]]
=== 진리표 ===
{| border=1 cellpadding=2 cellspacing=0
|- style="background-color:#cccccc"
! 명제 ''P'' !! ''~P''
|- align="center"
| 참 || '''거짓'''
|- align="center"
| 거짓 || '''참'''
|}
== 같이 보기 ==
*[[긍정]]
*[[진리값]]
*[[진리표]]
*[[불 대수]]
*[[벤 다이어그램]]
{{논리 연산}}
[[분류:논리학]]
|