, () . : » p q:
) , . :
:
, |
- .
, . o , . - , - , :
1. (. ponendo tollens) - -.
. , . :
S , | S , | |||
S | S | |||
, S - | , S - |
:
q | q | |
p | q | |
q | p |
:
, |
- |
, |
2. (. tollendo ponens) - .
, , , , . -. :
S , | S , | |||
S - | S - | |||
, S | , S |
:
q | q | |
p | q | |
q | p |
:
- |
- |
, |
, |
, , . :
, , |
, , |
. .
:
1. , :
1.1. , . - . , . - , .
1.2. , . . , - . -, .
1.3. . , . , . -, .
1.4. . - , , . - , .
|
|
22
"- ".
:
1. - .
2. .
- .
, . , - ( . di(s) lemma ). , . - .
.
. , , :
) :
, ; , | : | p → q; r → q | ||
r | ||||
q |
, ;
, ;
, . :
, |
, |
) :
, ; , D | : | p → q; r → s | ||
C | r | |||
B D | q s |
, ;
- ;
- .
:
, , |
, . |
. |
, , . |
2. :
) :
, ; , | : | p > q; p > r | ||
- -C | q r | |||
, - | p |
, ;
, . ;
, .
|
|
:
, , |
, |
) :
, ; , D | : | p > q; r > s | ||
- -D | q s | |||
, - - | p r |
, ;
;
.
:
, , |
, |
, . |
:
1. - :
1.1. - , . , . , - . . .
1.2. , , - , . , . . .
1.3. - , , , , . , . , . . .
1.4. , , , - . , , . . .
23
" ".
:
1. .
2. . .
3. .
.
, , . , , . , , , . . , , , . , , .
:
) ;
) (, , ). , , .
, , . . , ( -) . , , . . . . .
|
|
: |
1- : S1 ( ) |
2- : S2 ( ) |
3- : S3 ( ) |
n- : Sn ( ) |
S1, S2, S3,, Sn S. |
S ( ) P. |
. , , , . . , , . . , , :
(S1) (P) |
(S2) (P) |
(S3) (P) |
S1, S2, S3 (S) |
(S) (P) |
, ( , .). , , , . , , :
(S1) (P) | |
(S2) (P) | |
(S3) (P) | |
. | |
n- (Sn) (P) | |
. |
. . ( ), . , .
. .
- , .
1- S(S1) ( ) |
2- S(S2) ( ) |
3- S(S3) ( ) |
30- S(S30) ( ) |
S1, S2, S3,,S30 S |
S ( ) |
, , , , .. : N . , , . , , (, ). , , . . . , . .
|
|
2. , , .
1- S(S1) ( ) |
2- S(S2) ( ) |
3- S(S3) ( ) |
n- S(Sn) ( ) |
S1, S2, S3,,Sn S |
S ( ) P |
, - . , - , . , , , . . , , . , , , , , , .
, . , , , . , . , ( ) .