, , , () . .
, , : S , , . , (S ; S ; S ), . .
:
S , ,
S ,
, S
, , . , , , , , (tollendo ponens).
S , , ;
S .
, S , .
; . , . , (ponendo tollens).
, :
) . , , ;
) , , -, , - .
- () , . , , , , . . , () ().
. .
, : 1) , ; 2) , .
|
|
:
, ; , .
.
:
6, 2;
8, 2;
6, 8.
:
, ; , .
.
.
: , , :
, ; , .
.
, .
, :
) , ;
) , .
1. :
. , - , .
, . , , .
, , . , . , .
, , , ; , , , .
. , - , . - . .
, . , , . - . .
, , . , . , . - . .
, , , ; , , , . - . .
2. :
, . , .
, ( ). , , .
- . , .
, . , . .
|
|
, ( ). , , . .
- . , . .
3. - ?
. , , .
, . , , . , .
, . - , , - .
. , , . .
, . , , . , . .
, . - , , - . .
4. , , . - - , :
, .
.
, , .
, .
.
, , .
1. .. . - ., 1996.
2. .., .. : .. - ., 1995.