Logica_uristiv-Konversky
.pdfV. & % $ ' |
81 |
. B " , -
, .
4 ' ' # ,' " - , , '' . $ " # '.
, «5 ) ,». ! ,- " , , .
/.* # «$ - ! » &
(«<$ »), ': «5 ) , ». 6& . * ," - . C , -- (, , ,), # -.
C # , :
) , 0 , - 0. + 0,% ;
) $ 0 -’ $ , ) $ " 0% ’ ;
) $0 % (- , « – ») , $(« – »). #-
, ) – .
% , 5. / , '"-.
* - , ,, ’ -. 0 « », -
82 |
. . . |
. / - " ' # : «* –, – ». + " « -», -, " : «D, – ». 5 " -, -, , # ,& . / , " « », : «5 -
, ».
$ |
- |
||
|
, |
!. |
|
A , |
|||
|
|
’ . A- |
|
|
! |
||
. * , -,
« , » , -,# . +:
5 ) 4 ' – # ) , ; & .
5 ) 4 ' – 7 0, ; & .
5 ) 4 ' – # ) , ; < .
5 ) 4 ' – 7 0, ;
< .
3 .# ' , &-& « , », , , " –. B -
, , -’ . $"' ' -& & 9 (AV . . .).
* ' ', & .
9 – !, #’ .
V. & % $ ' |
83 |
! «# » , ’ , -& . # # & ,/. * «; - , ) -
, ».
<. 0 & -.
% # , , ’ # - . ! «5 ) - , »'. 6 () , , -’ # ,& & , .
L ! , -« , » -’ . F
’ :
) ( , «5 ) -
, ' »). 3# , (-) " . + " -;
) ’ , , |
# |
|
- |
#, ( , «5 ) - , ' »). /# ’ , ;
) ’ , # -# (, «5-
) ' , 0 - »). 3 ’& , & ;
) ’ , -( , «5 ) - , 00 »). 6
84 . . .
& ( ) & , &-, .
% , # -« , » & . 3 &-. $ , , , -« , », &. 6 " ' & ', , , - " # .
4 # ,- & -, - -.
5 ' «-», « ». 6 -" , -' .
' , -
! ’ .
3 # , # .
, «5 ) ), % ». /
# , . / # ,. + , & -# , , . % # , # , / $ -# : « ) /, ’$». J & ' «/ $».
8 , -! . 8 ! ’ -
( , ).
4 # , - " : «5 ) % ,)». 3 -, . 6 , -, & , # ,# ( # ,). / -( , ).
V. & % $ ' |
85 |
% # , , $ ,/, «$, /». B " , - , # («5 ) ), % -», «/ $»), &1, # ' («5 ) %, )», «$ /»). 3 ,
« ) ». ! , «3 ) - , », «3 ) ,
$ 0 4 % 0 6 ». / , ’ -
, , , – . + - ' # .
6 -– !.
O ( )
/ $ – |
, |
, / $ |
|
. $ |
. |
= : , , ~
(/ $, / $, / ~ $).
3 ' : «/
, $», «/ $ $ /», «' / -$», «/ $».
8 !:
/ |
$ |
/ $ |
|
|
|
t |
t |
t |
|
|
|
t |
f |
f |
|
|
|
f |
t |
f |
|
|
|
f |
f |
t |
|
|
|
1 * ' ( ), ' ',– ' ': .
86 |
|
. . . |
|
6 - |
|
' , -' ' – .
% # " # -'' , ' – # '' ,, # " # -'' .
! , «5 ) , -
», «5 ) " , 00 ». 0 '« , ...» # ’ # , ' -« » # ’ # ; # " " # ' (« », «% »). 6 ' #.
+ ! ! :
) ; ) -
( , -);
) # #
.
5 ’ ' # #- " , #.
% ’ , -,
!. 0 :
|
|
; |
|
|
. |
« » guantum – .
4 " #, '.
' :
V. & % $ ' |
87 |
|||
, ( ), (/ ), |
|
|
|
|
x , |
€ |
, x . |
|
|
x |
|
|||
D : « - ». 3 :
« », « », «-» . L -
.
, # «!- » # , -:
(S (x) P(x)).
D : «' - , –, ». / - , # - , -S, #-. / ,-' , # . & & &
x (S (x) P (x)).
/ ’ ' -’ :
(S (a) P(a)) (S(b) P(b)) (S( ) 0( ))
, , ( " ) – : 9 , + , 4 .
L :
x , x , x .
D : « , ...». 3: « », «- », « », « » . L -
.
, # «; " - » # & :
x (S(x) P (x)),
: «A , - #». $ (S( ) 0( )) , -
88 |
. . . |
# -' S, . 5 , # -’ ' ’ '' :
(S(a) P(a)) (S(b) P(b)) (S( ) 0( )) ...
, b, – ( " ).
% #. 1 # , ',.
8 -& , & -, # & # . 1 ’ & #, .
, |
: «!- - |
|
». $" - |
: , S, P. B :
(S(x) P(x)),
& . 5, -" ( ) -' & , -.
/ , & – -.
V
:
1. ’ , ,
' ,'" . 5 ' # -, . 4 ,( ) -. 3 ' ' -'. J # .
B " , # ( -) ' #" . $"’ : .
B ! -’ .
B ’ -( ) -
( ’ ).
+ # , , ' - .
% # , , -, . A #(«M », «; », « ») -(« « » », « , % 0 ' 0 »). * #, .
* , |
|
’ , |
( |
, ) . |
|
" |
. / , |
|
«3.M » « « » ». 6
90 . . .
, ’ ( ) #-’ -( ). $ ,, #," . + & ,. 6 &( ) 1.
7 ( ) ( ). ! #, .
7 ( ) - # ,( -), – -, (« » « »).
+ («7 », «- % », «< 0 »). 3 # ", ( «# », «», « —1» ).
7 . $ # # , – , ’ ’ . # ' -, ’' .
8 ' - .
5 ’ ’ ’-, , :
1)’ , :;
, ;
3)-! ! .
1 + # " ,. 5
– .