. . .
( ):
∩ = ; ∪ =
∩ = ∩ ; ∪ = ∪
( ∩ ) ∩ = ∩ ( ∩ ) = ∩ ∩ ;
( ∪ ) ∪ = ∪ ( ∪ ) = ∪ ∪
∩ ( ∪ ) = ( ∩ ) ∪ ( ∩ );
∪ ( ∩ ) = ( ∪ ) ∩ ( ∪ )
∩ ( ∪ ) =
∪ ( ∩ ) =
Ø( ∩ ) = Ø ∪ Ø
Ø( ∪ ) = Ø ∩ Ø
() ØØ =
∩ U =
∪ U = U
∩ Æ = Æ
∪ Æ =
ØU = Æ
ØÆ = U
:
, , , .
:
()
( )
( )
. :
, ( ), ( )
. antecedent
. consequens
Ú | → | → | ↔ | Ù | / | ύ | Ø | Ø(→) | Ø | Ø(→) | ↓ | ^ | |||||
, .. . ():
- ( )
-
- ( )
, , .. n £ 5 ( 2n). n . , , .
|
|
.
:
→(→)
, , (.. )
, , , .
( ) , ( , ) , .
: () : .
, (, ) .
, .
, , . , , .
, , .
.
. :
1.
F
2. :
():
:
:
:
():
:
:
:
[: ]
:
F
- ,
,
,
:
(( → ) Ù ( → )) → ( → )
:
. , .
: () .
1. .
2.
3.
4.
5. .
.
1. , , ?
, , ().
1) ; 2) .
2. () , , ?
|
|
1- .
1- .
1) .2) ;
3. , ?
, , .
1) ; 2) .
4. , , ?
1 .
1 .
1) ; 2) .
5. :
1) ; 2) () ; 3) ; 4) .
6. - ? -»
1) .2) ; 3) ; 4) () ;
7. - ? , ».
1) ; 2) ; 3) ; 4) () .
8. , - ?
, .
- ? .
- .
- ?
- .
- , - , , .
1) ; 2) ; 3) () ; 4) .
9. , - ?
: , , , . : .
1) ; 2) () ; 3) ; 4) .
10. - ?
:
- , , , ?
- , - .
- ? .
- , - , - , ? !
1) ; 2) () ; 3) ; 4) .