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

 
== 술어 논리에서 드 모르간의 법칙 ==
드 모르간의 법칙을 확장한 것으로 [[일차1차 논리|1차 술어 논리]]에 대한 드 모르간의 법칙이 있다 : A(x)를 변수 x에 대한 서술자라고 할 때
* 「모든 x에 대한 A(x)」의 부정은 「어떤 x가 존재시 ¬A(x)」
* 「어떤 x가 존재시 A(x)」의 부정은「모든 x에 대한 ¬A(x)」
익명 사용자