Logica_uristiv-Konversky
.pdf
*. " |
|
|
191 |
|
+ |
|
|
||
|
, |
|
||
|
|
, - |
||
, -.
:
1.«4 0 ) »
2.« , ) 0 ) ». + # 2, "
(« ») # «;
0 ) 0 » Osp.
+ #. / , -( ), #( ).
5. > G
3 - # & «$ S 0» Asp . % , & ' & ' , -# .
" & - , .
6 ( - ):
1)# ( % % : ) - %, ) %, ) % %)
2)## (BB9)1.
.
1. B ( ) : , , , 1, 1, 1,2,2, 2.... B -
' («1 », «; », «Q » ) ). + ' -
1 $ # , «& » , ' # # , , " "-, & .
192 |
. . . |
,, – .
2. B ( ) : x, y, z, x1, y1, z1, x2,
y2, z2 ….
0 ’ # ,#
- ’ ' ,. / & ' # -
(«4 », «; », «<$ », «R » ) ).
3. B -# : fn, qn, hn,fn1,
qn1, hn1, fn2, qn2, hn2....
$ n , #-. $ & & ' : « », (+), sin . 3 & ," (« »,
« », « … ...» ) ).
4. B : Pn, Qn, Rn, Sn, Pn1, Qn1,
Rn1, Sn1, Pn2, Qn2, Rn2, Sn2....
$ , #. 0 , -, -. 3 ' -: « », « ' », « -
», « $» ) .
5. 5 :
) ’ : &, , , , ( ( — ));
) :
— – (« -»),
— |
– (« »). |
* |
: |
— , .
. -
) ' #
1.A .
2.A .
*. " |
193 |
3. 0 9 – n- -& -
, t1, t2,... tn – , 9 (t1, t2,... tn ) .
4. ! 1-3.
$ 1 2 -, 3 – .
$ f1 (q2 (x, a)). $ ' & ' . f1 (q2 (x, a)) = 9(t1 ) 3 ( ,
-& ); q2 (x, a) = t1 ( );
q2 (x, a) 9 ( t1, t2 ).
9 & – q2; t1 x –1 , t2 ,3 . $,q2 (t1, t2 ) 3.
/ : f 1 (q2 (x, a)) .
C # , & -& ' : q & (+); f – & ( ); -«5». 3 f1 (q2 (x,a)) & : « + 5».
0 01 (q2 (x, a)),
' .
) ' # # :
1.0 B – n- , t1, t1...
tn – , B (t1, t2,... tn ) – # ;
2.0 / – & , / # .
3.0 / $ – & , (A & B), (A B), (A
B), (A B) – # .
4. 0 / – & , – ,
/ / # .
5. ! 1–4 # -
.
> , 1 & ' -, 2–4
– .
= & , ,
02 ( , f1 (a)).
02 – , ' # -f1 ( ).
194 . . .
5 Q1 (x, f1 (a)) & , Q1 –, ' 'f1 (a).
8 -:
) |
|
; |
|
) |
’ , - |
; ) , -
’ ! .
3 ), & -# , & B1 (t), B1,t , . !- , # : «3 M –». + : «0 ( )»; «! – » – Q (f (a)), f – , -& « », – «», Q – ,« »;
3 ' ), , & # , -& /( ), – ,’ , - , /( ) – & , & ,/. ! -# :
1.«D ' » – 0( );
2.«; » – Q(x);
3. «; 0 ) 0 » –
F(x).
/ ’ , ' ' # , &-' , &- , # -0( ) Q(x) . .
6 : 0( ),
x Q(x), F(x).
*. " |
195 |
0 ' ',# '' # - ’ ,, # ,1:
(S (x) P(x)).
, «; »,6( ),' ' # . 5 – # -’ , #
(S(x) & P(x)) –
: «R , ) S i
0».
S – « ». > -’ « » S , , # « -
».
0 ), -# , -& /( ). ! , 1. «!- -
’ » -
0( ), (S(x) P(x)) —
( , «$», # - ’ ).
2. «F » -
"( ) (S(x) K(x)).
/ , # :
1. |
«< 0 » – 0 = 0( ) |
2. |
«+ » – 0 = 0 ( ) |
3. |
«!- – " » – |
«< - S 0» = / = Asp = x P(x) = x (S(x) P(x))
4. «F » –
«# S ! » = $ = Esp = x P(x) = x (S(x) P(x)). 5. «; » –
A = Isp = xP(x) = x (S(x) & P(x)).
1 6 # & ' # "-# .
196 |
|
. . . |
6. «; |
» – |
|
" = Osp = x P(x) = x(S(x) & P(x)).
4 (=) &- ' # - . * # && ' ( , 3: " , & : «<- S 0», # :(S(x) P(x)), # .
> , # -" -.
6. > < |
|
0 # , |
- |
« |
». |
, «1 – # ». B, # # -, , . . .
# " :
—.
7 |
|
- |
, |
|
, |
.
, «; ' % ».
+ -, ,.
, « N ».
+ # " :
—- ;
—- ;
—-;
—- ;
—- ;
—-;
—-;
—- ;
—- .
*. " |
197 |
0 # , # " # # .
' , !:
1.4 ,
– .
2.4 .
3.$ -# .
4.+ -’ " -.
% , -! ( ),
, – ’ ! (&); - ! ’ ! , ! ’ .
5.$ & , .
6.+ & , # . 0 -
# , -.
4 # " -:
« - »
«< 0 ' * » – « R »
« - »
«+ % » – x (Q(x) R(a,x))
« -»
«+ » –
x (P(x) & R(x,a))
« - »
«4 " " " » – x (S(x) R(x,a))
« - »
«!- " " % -' - % » –
x y (N (x) (Q(y) R(x,y)))
198 |
|
. . . |
« |
-» |
|
«4 0 0 » –
x y (P(x) (Q(y) & R(x,y)))
«- »
«; » –
x (Q(x) & R(x,a))
«-»
«; 0 ’ » –
x y (P(x) & (Q(y) & R(x,y)))
«- »
«; ' - » –
x y (P(x) & (Q(y) R(x,y))).
4 # "-# -- # .
, # «4 -" , -" " » –
x (P(x) R(x,a)) & x (P(x) & R(x, )).
7. >
! # – « #». 3 ' «
».
' ,« ».
,
1.«# + ».
2.«< ».
3.«3 ».
4. «R , -
'»
5.«H , ».
7 :
1.«' S / ».
2.«<- S / ».
3.«' S / ».
4 # , ## .
*. " |
199 |
+ ’ ", ’ #
« ». C # |
! |
|
: |
) , |
|
|
|
) . |
|
|
|
7 |
|
- |
|
, |
’- |
||
. |
|
|
|
, «& »; «/ -» ).
B « » !. $ « » « !». *-
! .
9 - " & ' . %
« |
- |
» . 0 |
- |
# , "& . ! , «1
% » – « » (1-
%) = 0( ).
5 #. ! , «; -» – ( ) & ). + -# #.
! -# .
$ # «; "» :
x (F(x) & Q(x)) – «R , ) " -
|
». $ - |
« |
». |
1 ' ' <. 0 & & « » ". 6 -, « » ’ ( ’- ), ( ) ’ .
200 . . .
3 - # . $, « »
« ! !,
’ ».
0 , # , ## # .
+ # (- , # " , # ), .
, «+ », « -
N », «/ 9 » ) . 5 # ’ -. /
|
, |
, - |
|
|
|
. |
|
L |
|
, - |
|
-
’ # .
* # , -. C # #’ #
|
: |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
%'*0$778 |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
# |
|
|
# |
||||
|
|
|
|
|
|
|||
|
|
|
||||||
|
# |
|
|
|
||||
|
" |
|
|
# |
||||
|
|
|
|
|
|
|||
|
|
|
||||||
|
# |
|
|
|
||||
|
|
|
|
# |
||||
|
|
|
|
|
|
|
|
|