.
, , :
1. = U,
2. = Æ,
3. \ Æ = ,
4. = A,
5. ,
6. ,
7. \ ( ) = ( \ ) \ ,
8. \ ( \ ) = ( \ ) , Í ,
9. ,
10. ,
11. ( \ ) = , ,
12. A B = (A \ (A B)) B.
1-6 . 7.
Î \ ( ) Þ Î Ï B Þ Î Ï B x Ï C Þ (x Î A \ B) (x Ï C) Þ Î ( \ ) \ , \ (B ) Í ( \ ) \ .
, .
8.
Î \ ( \ ) => Î Ï \ . , Ï Î . Ï . (.. Î ) Î \ Î ( \ ) . Î , Î ( \ ) .
Î \ ( \ ) , Î ( \ ) . , \ ( \ ) Í ( \ ) .
Î( \ ) , Î \ Î . Î \ , Î Ï . , Î x Ï \ . , Î \( \ ) Î ( \ ) , Î \ ( \ ). Î , ( Í ) Î . , Ï \ , .. Î . , Î ( \ ) Î \ ( \ ). , ( \ ) Í A \ (B \ C). , , .
9 10 [2].
9.
x Î => . , . , => => . , . ,
10.
=> => => => . , .
. , .
,
11.
Î ( \ ) , Î \ Î . Î ,
Î . Î \ B Î . Î , .. ( \ ) . . Î . Î B, Î( \ ) . B \ . Î ( \ ) ( \ ) .
12.
Î A . Î , Î ( \( B)) B. Ï B, Ï A B, Î A B, Î A. , Î \ (A ). Î ( \ ( )) .
|
|
. Î ( \ ( )) . Î \ ( ) Î . Î B, Î A B, Î \ ( }, Î . Î A B.
4 :
:
1.
2.