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