. , , , () . .
, , , , : S , , .
, (S , S , S ), . .
- .
- ( ) .
:
S , , .
1, 2.
S 1, 2, , .
S , .
- , . :
1. S , , ;
S , .
, S .
, , ; . , , , , , (tollendo ponens).
:
, , , .
, , .
, .
, , , (, ..)
2. S , , ;
S .
, S , .
; . , . : , - (ponendo tollens).
:
, , , , , .
.
, , , , .
, :
1. . , , ;
2. , - -, - , - .