Logica_uristiv-Konversky
.pdf*. + |
|
261 |
|
. 5 |
|
" |
#- |
|
. / - # .
/) &C,C
3 , , -, .
,
«N / , ) »,
«<$ – , ) -», .
7 , ,, -
.
/ « » inthymos,« », « » .
A :
) O .
, «9 , )»;
) O .
, «9 , )»;
) O .
, «4 ,
9 – ».
4 -& , - , ' " . *" . 5 -, # .
4 -. B " , .
*. + |
263 |
/ . 0, , AA- # . 5" ' & . % # , -. -A- # , " " ' &-
(«< -»). % # , - . 0 # # ,: « , ) -– ». / ,
.
5 : «D 9?». A , 4 , - , ' # . 5,. / , , .
+ . ! " , , #-. 5 . / , -# , - .
6) &* /#" & C, 6 *# &' &KB*&F0
%. % & ’ -. ,' - ' . 6 ,,# ( # ).# . /- , -.
264 |
. . . |
& # --,, -:
( ), |
|
F x P(x), |
|
T x P(x), |
|
F x P(x) |
T P(a) |
|
F P( ) |
* 0( ) |
|
F 0( ) |
|
3 & . $ ,
, – .
6 . C ,* F -, - .
3 F * , # & - , .
+ * F # -, " ,. + .
$ #- -.
' :
0. F x y A (x,y) y x A (x,y)
A.1. T x y A(x,y)
|
2. |
F y x A(x,y) |
F 0 |
|
AA. |
3.T |
y A( ,y) |
T 1 |
|
AAA. |
4. |
F x A(x,c) |
F 2 |
|
IV. |
5.T |
A( ,c) |
T 3 |
|
V. |
6. |
F A( , c) |
F 4 |
|
+
! " & 1, 2" F ,* , # . ! * # -
*. + |
265 |
# , # , -* , , .
! ’ , *F - , -, .
4 " # -, -# , - ' .
+ ," . + -:
0. F x (S(x) P(x)) x (S(x) P(x))
A.1. T x (S(x) P(x)!
|
2. |
F x (S(x) P(x)) |
|
F 0 |
|
AA. |
3. |
T S(a) P(a) |
|
T 1 |
|
AAA. |
4. |
F S(a) P(x) . |
|
F 2 |
|
IV. |
5.F S(a) . |
|
5−. TP(a) . |
T |
|
V. |
6. |
F S(a) 6−. F P(a) |
6−−. F S(a) |
6−−−. F P(a) |
|
|
|
— |
— |
— |
+ |
% # , ,,
|
- |
, |
|
.
4 ' .
A «Cesare» ! #«Fesapo» ! # :
0.F [ x (Px) M(x)) x (S(x) M(x))] x (S(x) P(x)) A. 1. T [ x (P(x) M(x)) x (S(x) M(x))]
2. F x (S(x) P(x)) |
F 0 |
AA.3. T x (P(x) M(x))
|
4. |
T x (S(x) M(x)) |
T 1 |
AAA. |
5. |
F (S( ) P( )) |
F 2 |
IV. |
6. |
T S( ) |
|
|
7. |
F P( ) |
F 5 |
268 |
. . . |
A :
—,
—.
> :
—,
—.
$ , ' -:
> >
|
|
+ |
|
! |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
, |
|
|
||
|
|
|
|
|
|
- |
|
|
|||
|
|
|
|
|
# |
|
|
||||
|
|
|
|
|
|
|
’ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|||
B |
|
, |
|||||||||
|
|
|
|
|
|||||||
! |
- |
||||||||||
! ! . |
|
||||||||||
B ' & ' , # &- |
|||||||||||
|
|
|
|
|
|||||||
# # . "
! , -, . B ,, -# . :
N . 6 . L . Z .
N, M, K, Z – 1 0 $ .
*$ , 0 $ .
1 ! «)"#» # !; ! / # , > N, K, M, Z ! (#*; ' !.
*. + |
269 |
6 ! !:
0(1 )
0(2 )
0(3 )
0(4 )
0( )
3 # , . 6. $ --. $, -: «L
». $ # -
# : «% -
|
- |
n, |
- |
n , n + 1». 5 , -' - -.
# &- :
0(1) P(n) P(n + 1) x P(x).
3 & # & :
0(1) – !;
P(n) – ;
P(n) P(n + 1) – .
% # , , – '.
2
3 , # # ( # -), .
270 |
. . . |
8 ,, -.
,
< 0 3 M.
D 5 +-.
0 -.
< 0 3 M , D-5 +, 0 – 0 .
*$ , , ) 0.
! ' ' , , , " " . B " ,
! |
! |
|
- |
|
( , |
|
|
|
- |
), |
|
|||
. ! , , # . / -.
8 :
—.
B ! !,. B! , -
. K'« -
».
3 ' ,#-