부정 방정식: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
편집 요약 없음
1번째 줄:
'''부정 방정식'''(不定方程式)은 해의 개수가 무한히 많은 [[방정식]]으로, 예를 들어 <math>y=2x</math>는 부정 방정식이다.
==수리논리학==
[[수리 논리학]]에서 '''부정'''(否定)은 [[명제]]의 [[진리|참]]과 [[거짓]]을 반전하는 [[논리 연산]]이다.
 
명제 ''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"
| 거짓 || '''참'''
|}
 
[[디오판토스 방정식]]은 해가 [[정수]]인 경우에 대한 부정 방정식이다.
줄 56 ⟶ 33:
{{토막글|대수학}}
[[분류:방정식]]
[[분류:수리논리학]]