3.
.
1
1. (6 ):
-, .
- , .
- 1940 . 3 , 2000 . 10 . .
- , .
- , .
- , , .
2. (2 ):
( ) /\ (┐ ┐).
3. , (2 )?
((( → ) ∧ ( → )) ∧ ( ∨ )) → ;
4. ( ) (4 ):
┐ ( /\ c) (┐ v ┐c)
( /\ ) ┐ (┐ \/ ┐)
5. ? (6 ):
, .
8 .
8-12 3
13-16 4
17-20 5
3.
.
2
1. (6 ):
- , , .
- .
- , .
- , .
- , , , . (.. ).
- , . , .
2. (2 ):
\/ ( ).
3. , (2 )?
((( → ) ∧ ( → )) ∧ (┐ ∨┐ )) →┐ ;
4. ( ) (4 ):
( v c) ┐ (┐ /\ ┐c);
( ) ┐ ( /\ ┐)
5. ? (6 ):
.
8 .
8-12 3
13-16 4
17-20 5
3
3
1. (6 ):
- .
- , , .
|
|
- , .
- , , , .
- , .
- , . .
, , .
2. (2 ):
( \/ (┐ → )).
3. , (2 )?
( → ) → (( → ) → ( → ));
4. ( ) (4 ):
( → c) (┐ v c);
( \/ ) (┐ → )
5. ? (6 ):
.
8 .
8-12 3
13-16 4
17-20 5
3.
.
4
1. (6 ):
- ,
- - , . (- XIY-).
- , , , , ,
- , .
- , .
- , .
2. (2 ):
( ∧ ) ∨ (┐ ∧ ) → (┐ ∧┐);
3. , (2 )?
((( → ) ∧ ( → )) ∧ ) → ( ∨ );
4. ( ) (4 ):
( /\ c) ┐ ( → ┐c);
( ↔ ) (→ ) Λ (→)
5. ? (6 ):
,
8 .
8-12 3
13-16 4
17-20 5
3.
.
5
1. (6 ):
- ,
- , , .
- ,
- .
- , .
|
|
- , . , . , .
2. (2 ):
┐ (┐ ↔ ( /\ (┐))
3. , (2 )?
( → ) → (( → ) → ( → ));
4. ( ) (4 ):
( ↔ c) (┐ v c) /\ (┐c v )
( Λ ) v (┐ Λ┐) ( v ┐)
5. ? (6 ):
, .