:
) , .
) , .
) , .
) .
) .
4. - , . : , , .
5. : . . , , .
- , : ) ; ) .
6. , , :
) , . .
) , . .
) , . , .
7. , :
((a→b) Λ b) → a
((a V b) Λ a) → b
((a→b) Λ (b→c) Λ (c→d)) → (a → d)
((a→b) Λ (c→b) Λ (a V c)) → b
((a→b) Λ (c→d) Λ (b V d)) → (a V c)
8. , :
) , , ,
.
, .
_ _________________
.
) ,
, ,
.
,
, .
____________________
.
) ,
:
, ; ,
; , .
, , .
________________________________
.
:
8 : , , , , , , . : , , , , , , .
|
|
, 8 :
1 . -
;
2 . 2 . - : 3 , , 5 ;
3 , - ;
4 , . 6 .
: .
:
. . . . .: , 2012.
. . . .: , 1995. . 124-149.
. ., . . : . .: , , 2008. . 126-139.
. . . . - ., 1996. . 114-123.
. . . .: , 2001. . 105-113.
10 (9) [16]
: (2 )
1. .
2. .
:
1. ?
2. .
3. ? ?
4. ?
5. , ?
6. ?
7. ?
8. ?
9. ?
10. , ?
: