( . soros ) . , ? . , () ().
. :
M P | |
S M | |
N S | |
O N | |
O P |
. :
M P | |
S M | - |
P N | |
S N | - |
4. ( . epiheirema ) , ( , ). :
P, .. N S M, .. S B S P |
1- : , ..
2- : , ..
,
o . :
1- :
(N P) | |
M N | |
M P |
2- :
(B M) | |
S B | |
S M | - |
:
: | M P | |
: | S M | - |
S P |
:
1. :
/ |
| / |
| / |
|
) , .
) , .
) , .
2. :
2.1. , .
. (MPSMSP)
2.2. - , , .
.. .
|
|
2.3. , .
2.4. , - .
.
2.5. , .
. .
2.6. , .
,
20
"- ".
:
1. .
2. - .
, . : , » p → q. , , :
) . :
, , , | : | p→q q→r p→r | , , [p, q, r] , S P S - л. |
:
, |
, |
, |
4- , : 4- , , , . , - . . : ;
- .
(. modus ponens) - .
, | p → q | |||
p | ||||
, | q |
, . :
3 5, 15 |
3 5 |
15 |
2. (. modus tollens) - .
, | p → q | |||
- | q | |||
, - | p |
( ), : . . :
, |
, |
, .
:
, | p → q | |||
- | p | |||
, - | , q |
:
|
|
, |
, |
2. :
, | : | p → q | ||
q | ||||
, | , p |
:
, |
, |
. .. :
, , . . |
:
- ; :
-. -.
1. , , , . , , .
.
2. - , . - , .
- .
3. - , . . , .
- .
4. - , . . , .
- .
5. , , - . . , .
- .
21
" ".
: