Logica_uristiv-Konversky
.pdfV . |
131 |
, , . B ,, # ,( -). 5 , # . + –
# – , .
! ,, ' . $. / ,# -(« $» – -# ( ) $; «» –, # , , « -», - ).
+ , # , ’-( " ’ ' - ), ( , , ... n):
– +– 6– ]
n – 6 .
* # ( , , ... n)( , «+ », «6 %-
», «+ » - ). $ « ». 6 , -, - , , &-# # # .
% # , « »
« » : ) -)
( , , , ... n) . $ , -
, . C, & ' ' . B-
132 |
|
. . . |
" |
, #- |
|
– ( , -– # ). 4 , -#- ,’ , ' , # . / «4 -1648–1654 .» –. 3 «< 0 » – , <, < 0.
% # , & - #.
3.
% & - , , ,’ . / ,
# -
.
4 ’ , -, , -# . >« » , ,& . / , #-« ». 6 -: « -
», « », « ' », « », « », «-
».
4 ,« » ( ),. / , , # -' & , .
% – , -– . '
V . |
133 |
, , – #. * # , -# , , -. 5 -. / # . / , # , , '. ! #, ,(«# - »). / –, ( ).
$ # , # , ,' , .1 # -. + # .
4.
+ -:
–.
+ , -.
"
, .
B , , -- . 8 - ' . 3 "-. " –. * " ,
1 A ' ',: ( , – -), , , . A ' -' – ', -( , ,
).
134 |
. . . |
" ,. * -Q , ’ -, '' « Q» « Q» # , # , . / ,, :
Q; Q; Q; ... n Q.
5 , , - # , ,.
B ' , -
# : |
|
|
|
« Q» – |
|
|
« Q» – |
|
|
« Q» – |
|
|
«n Q» – |
|
|
« Q» – |
|
% # , - #, , , ... n ( ), #Q. / , « Q». G « Q» , ’, & -' , , – .
$ « Q» & ' ( ) ( , «-( ) $»). 6 , " –« Q» " – - . 0 , – - ' & '. $ & Q( ) : –, Q – -.
$ , - # : – # ' , Q – ' . 4 Q : –
V . |
135 |
, Q – (-), - .
B-, – &. / , # -{ , , ... n}.
3 # Q – " ' . Q(& ), - . / ' ' # - ' & # . *
# , .
/ ,# -. $ ’ -.
0 S i P # # ' ' ' – ,'# , – ( ). $ & « Q». ! # { , , ... n}. / , # { , , ... n} # :
Q – (+ )Q – (6 )Q – (] )
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
n Q – (6 )
C # {Q(a), Q( ), Q( ) ... Q(n)}& ' Q( ).
+ , # ,, , # - " – n- ( , ... n- - ). ! , « »/( ), « % $»$( , , z) .
4 -. ! , « -
136 |
. . . |
» – P( ) & Q( ), « ,, 0 0» – 0
( ) Q( ) K( ).
+ -. % ,# . C & -’ , 0, -& -& Q( ). / ,« » , - # , .
B – # . 6 ,, # -
.
4 # (& : 0( ), Q( , ), L( , , z))( & :
«0( ) & Q( )», «Q( ) L( , )», «0( ) Q( )» ).
4 ( ,- ) ( - ).
4 -. 7 , -
,. -' " #. , -
« , ».
8 , -
! # -. / , -
$ .
1 . |
|
|
" |
|
|
, . |
|
|
|
|
|
1 |
|
# |
. , |
- |
|
& , # .
V . |
|
137 |
||
B |
– , , |
|||
|
|
. , |
«- |
|
» |
« ) |
|||
»,« ».
+ , ,.
0 ,,
, .
8 (, -« »).
$ , # -
. ( , -« »).
/ # , - # . / , #( # ') # . ! , « »: « », « - », « % ». / # -
« » « ». 3 # # .
6 # # ,# . / , - # # ’. $ #:
|
|
|
! |
% +
8 $
138 |
. . . |
+ & ' ,, . / , , « » , " ’ ' – « ». G’, .
5. . : >
4 ' -, .
" - , ,
.
, « » - : «< 0 », «4 ' », «#$». 5: «D », «< », «- X » , #« ».
0 , -& « ». , -- # , # ,, & ’ # . / ,#. /’ #'' .
6 - -
’. C # – , # , ' "' , . / , # -# (' ).
, $ , $ $, $. A # , -# ,
V . |
139 |
# :
« », « $», « ».
C # , , ## . 5 -" ,' . / # # #« $» - " , , -
(« 0 », «7 », «1 » ) ).
B , ! -. + ' -& —
, , ...; , z ... ( 1, 2, 3 ... 1, 2, 3, ...).
# -& –
/, $, 7...; J, Y, Z ... .
6 , -( , $ -
0 ; $ "-% -
). / , |
|
|
|
( , |
$ , |
$ , ). |
|
|
% # # ’ - ' ' ,, # ' -( , ', ),.
C # # '' " - # . 8
|
, |
! . $ - |
|
|
« ». > - |
# « » # «/» : « /». > # « » # «/» :
« x A » « x A ».
0 # / $ -, # : «/ = $»,– «/ $».
140 |
. . . |
B # " # . +- " , -# . ! , $ " - % , $ 0 . $ -
: / = {1, 2, 3, 4 , $ = {1, 2, 3, ... 9}.
% # , & ,# . * # -# , . 3 -" , -# .
J , -- ! , -
, !. 4-:
6 = { / /( )}
– « # « », «/». ,
, -! ! . + -# «U», & # - # :
. . . . . . . . . .
U . . . . . . . . . . . .
% ' # |
|
|
, , |
|
|
( , « , |
|
- |
», « , ' » ). +-# # : .
<- . 0 #Q:
U = { / Q( )},
# /, $, 7 ..., ' # U :
Q( ), Q( ), Q( ), ... .