) .
) .
) .
:
) . . , .
:
 |  |
) . . , , .
:
S-
 |
) . . , . , .
:
3. . . , , :
- .
?
:
: 1. - () ().
2. ( S ) ().
: (S) - ().
() , 2 (II).
:
+ +
 |
S+ +
S+ +
́ , . ́ , . , .
. : 1. , 2. , 3. .
: . , .
( [ ]), , . ?
, . , , . , , , , , . , , , . (. . )
:
:
1: - , , (), , , ().
|
|
|
2: , ().
: , , ().
: (modus ponens) - : .
:
: 1) ; 2) .
1. .. . / .. , .. . .: . ѻ, 2010. 527 .
2. , .. . / .. . .: . ., 2004. 304 .: .
3. , .. / . .. , .. , .. . .: - ӻ, 1996. 304 .
4. , .. / .. , .. ; . .. ; . . . . . .. . - 6- ., . . .: , 2010. 233 .
