'모든'이나 '어떤'이 있는 명제

대표 공식
차집합의 성질

전체집합 U의 두 부분집합 A, B에 대하여

1) Ac=U-A

2) A-B=ABc=A-(AB)

3) A-B=(AB)-B

4) A-B=이면 AB

집합의 연산법칙

전체집합 U의 두 부분집합 A , B에 대하여

1) 교환법칙

     AB=BA,  AB=BA

2) 결합법칙

    (AB)C=A(BC)(AB)C=A(BC)

3) 분배법칙

    A(BC)=(AB)(AC)(AB)C=(AC)(BC)A(BC)=(AB)(AC)(AB)C=(AC)(BC)

4) 흡수법칙

    A(AB)=A,  A(AB)=A

5) 드모르간의 법칙

    (AB)c=AcBc,  (AB)c=AcBc

6) 부정법칙

    (Ac)c=A,  (Ac)cc=Ac

대표 문제