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

내용 삭제됨 내용 추가됨
TedBot (토론 | 기여)
잔글 봇: 틀 이름 및 스타일 정리
TedBot (토론 | 기여)
잔글 봇: 문단 이름 변경 (함께보기 → 같이 보기)
63번째 줄:
 
이것의 부분 부정 「모든 책을 좋아하는 것은 아니다」는 「모든 x에 대하여 A(x)」의 부정이며, 드 모르간의 법칙에 따라 「어떤 x에 대하여 ¬A(x)」, 즉 「좋아하지 않는 책도 있다」라고 하면 된다. 반면에 전 부정 「모든 책을 싫어한다」는 「모든 x에 대하여 ¬A(x)」를 가리키는 드 모르간의 법칙에 따르면 「어떤 책을 좋아한다」의 부정이 된다.
==함께보기 같이 보기 ==
* [[이중부정의 법칙]]