, . : , - - .
. , .
, . . . , () , . , , , , .
1).
) . , , , . (, , : , , );
) . : , . , , , .
2).
) . ( , ). , ;
) . , , , ;
) . , . , . . , . : , . , . () (), , .
|
|
3).
. , . , , . , − .
, , , .
: 1) 2) . , , ; , , .
: . , , , , , .
− , ; , .
: 1) 2) .
. :
, . , , .
: .
, , , , , . , .
:
1) 2) (. apagogos − , ).
, . , , :
( V 1V2) Λ (1 V2)
.
, , .
. , .
|
|
. , ( ):
→ (a Λ b Λ c ) Λ (a Λ b Λ c )
AT.
, , . , :
( V ) Λ T
, , , , .
, . , - , , . .
, . , .
1. ?
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
.
:
.
: 1) - ; 2) .
: - , . (1 V 2) → .
1. . 2). . 3). .
, .
:
- .
- .
- , .
, , :
- .
- , .
- , , .
- .
- -205 .
- .
.