( ).
:
1. .
: , .
!
2. - .
: , .. .
, - !
3. - .
: , .
, - !
4. - .
: , . .
, , .
7.
- .
- .
, .
:
:
1)S1 P
S2 P
Sn P
2)S1, S2, , Sn K
:
K P
.
, .
, .
, , . , , . .
, .
|
|
:
:
1)S1 P
S2 P
Sm P
2)S1, S2, , Sm, , Sn K
:
, K P
, K, , . , .
, , .
, .. . .
, , , .
:
.
, , , , , , .
, .
, .. .
, . . , , , , , , .. , .. .
, . , .
: 1) ; 2) .
.
, , . , .
1. , modus ponens:
, b :
b (pq), q
a p
.
(p),
(q).
(q).
, (p).
2. , modus tollens:
, b :
-a (pq),
-b
.
(p),
(q).
().
, ().
.
: .
:
:
a P, Q, S, T
b P, Q, S,
|
|
:
, b T
P, Q, S , T .
.
, (P, Q, S) T.
, .
. .
, , :
1) , ;
2) .
.
, . , .
. , , . , , .
, . , , , .. , , .