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

크기가 바뀐 것이 없음 ,  5년 전
잔글
* 「모든 사람은 냉장고를 가지고 있다」의 부정은「어떤 사람은 냉장고를 가지고 있지 않다」(즉, 「냉장고를 가지고 있지 않은 사람은 적어도 한 명이상 있다」)
* 「어떤 사람은 냉장고를 가지고 있다」(즉, 「냉장고를 가지고 있는 사람이 적어도 한 명 이상 있다」의 부정은 「모든 사람이 냉장고를 가지고 있지 않다」(즉, 「냉장고를 가지고 있지 않은 사람이 적어도 한 명 이상 있다.」)
「모든 x에 대해〜」나 「어떤 x에 대한〜」을 양화자 기호로 <math>\forall x, \exists x</math>를 사용하여 표기하며, 술어 놀리에서논리에서 드 모르간의 법칙은 다음과 같이 쓸 수 있다:
* <math>\neg\forall x~A(x) \Leftrightarrow \exists x~\neg A(x)</math>
* <math>\neg\exists x~A(x) \Leftrightarrow \forall x~\neg A(x)</math>
익명 사용자