부정 (논리학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
|||
1번째 줄:
[[수리 논리학]]에서 '''부정'''(否定)은 [[명제]]의 [[진리|참]]과 [[거짓]]을 반전하는 [[논리 연산]]이다.
명제 ''P''에 대한 부정을 ¬''P'', <math>\bar{P}</math>, ~p,!''P''등으로 쓰고, ‘''P'' 가 아니다’, ‘''P'' 의 부정’, ‘''P'' 이외의 경우’라고 읽는다.
== 예시 ==
| |||