드 모르간의 법칙: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
TedBot (토론 | 기여)
잔글 봇: 틀 이름 및 스타일 정리
43번째 줄:
구체적인 예를 들면,
* 「모든 사람은 냉장고를 가지고 있다」의 부정은「어떤 사람은 냉장고를 가지고 있지 않다」(즉, 「냉장고를 가지고 있지 않은 사람은 적어도 한 명이상 있다」)
* 「어떤 사람은 냉장고를 가지고 있다」(즉, 「냉장고를 가지고 있는 사람이 적어도 한 명 이상 있다」)의 부정은 「모든 사람이 냉장고를 가지고 있지 않다」(즉, 「냉장고를 가지고 있지 않은 사람이 적어도 한 명 이상 있다.」)
「모든 x에 대해〜」나 「어떤 x에 대한〜」을 양화자 기호로 <math>\forall x, \exists x</math>를 사용하여 표기하며, 술어 논리에서 드 모르간의 법칙은 다음과 같이 쓸 수 있다:
* <math>\neg\forall x~A(x) \Leftrightarrow \exists x~\neg A(x)</math>