Logica_uristiv-Konversky

*. +

281

8. C -:

x (S(x) P(x)) x (P(x) S(x))x (S(x) P(x)) x (S(x) P(x))

[ x (P(x) M(x)) x(S(x) M(x)] x(S(x) P(x)) [ x(M(x) P(x)) x (M(x) S(x))] x(S(x) P(x)) [ x(P(x) M(x)) x(M(x) S(x))] x(S(x) P(x))

9.! # -# ’ .

10.! , -« " ».

11.! ' " .

.

9

3 , - # , # -, -. 6 '

.

/ -

,	, -
#	-

.

A " -' .

5 "
, '		, -
.
1. .
/ « » .
B-, «	»	# , -

-.

B-, « », , , , , ,

.

! " , -, « »

, !	-
,
.

* . # !	283
«	», -
# .

7 :

—;

—!!.

* – ,

.

! ’ - - . / # & - , - . >

: ) «"

»; ) «"	»; ) «F -
»; ) «F »; .
B "

, # . 0 , &-# .

, «9 % »;

«L $»; « 0 $»;

« ' % 180 .

5 & & .

,

«D ;$. < ?»; «5 <-# ?»; «5 0 0 ?» .

> :

—.

" ,( ) -

# .

/ ' , U-# .

B ,, -

.

6 , -' .

284 . . .

" ,. G # , -# U .

/ – , !, \ .

' :

1)# ;

2);

3);

4)# !;

5) .

8 # .

«# » – factum,, . B .

B-, & , - ;

-, & - # ;

-, & ,, ;

-, & , - # , & , -' .

3 # " # #, , -# # .

> # . 4& , & , , # ,# & , - . > & , &.

5 & , , & - , ( " & ' ), " & , ’ &-, " , .

! , $ ) , ) 0 % % ( , , ) .).

* . # !

285

1 $ " - , ) , ) . L, ,

) .

/ & # # . / , & " # . -& ( # ).

> # #-. $ # , , -, & ,,, , , . / , & -# ,. 5& " ,.

! , " 0 , )" " () ' -00

.

! .

7 :

—( ', & , - , ' .);

—( ', , , .).

+	– , -
	’ .

/ ’ , . 4. ! # " ", .

$ , # -. / . A-, # -,# .

286

. . .

%. 3 -

& , .

! , ) -

. 1$. ' , " -$. R ' , %, "

.

3 # .

4 ,. # .

5 ". >

# -.

6 :

—A. L : «' ,! ,- , »;

—: «$, ,»;

— : «<- -

,	«.
K # !
	. $,

, . /-& -.

' # ! . F , # ! -, , , --

’ .

/ – # !, ,& ,# . A ,

* . # !

287

& , -, , -.

! , ) % , ) 0 -' % , " , ) ,

, ' % .

! " , -. J- , ', # , - U # . - # . + -U .

8 – -. 8 - : & -

#	# . J #
	.
'	– , # ’ -

.

/ # # # ., ’. A # " - , . '

# .

+ , ,, ,# , – -. /,

-, - .

4 & & ' , . / ,, # , . 3 #, - U # , & -" # . % # , -' ,, " , -. 4 " " ,. + , . B "

288

. . .

, «& -

% ?»– «& ?».

$ , #!:

—#

—# .

2.

3 #. + .

B ,

.

+ , -.

8 , «# - 0 $ " 0» -

.

«# 0 $ " 0» – ; # 1. «!- $ " 0» –

# 2. «# 0 $ $ -

»- .

0 1 2 , -" ' .

3 -' «Barbara» " ' & .

5 # ' : «M % -

».

«M % » – ; # 1. «!-

» – ;

# 2. «M % » –

/ , 1 2 , -.

3 ,.

* . # !							289
8
			-
.
/						, -
.
0						:
—
— .
!

«apagogos», – « , ,» « , ».

5 . $ \ -

- - ! . * -, -, , ,,. F ( , )

.

.

& \ -:

—,;

—! . % -

, ,,

.

! , « " » ' % k, % " -. * kI-0 " , , $ ,0 " . R %% . 1 . L' %

I-0 " .

8 ' .

290

. . .

+ U : «# <. -$». 5 . * -

.

«# <. $» – «# <. $» – -

$ :

«5 ) <. $,. -, ) <. - ' , <. -

, $ <. % ».

/ , " -.

! -

.
	X				,
. A -
			-
. + # ,
- .
$					-
# , .
7		:
	P1, , … , Pn T
	8 , P1, … ,	, Pn

" , T

C . 0 , -, , -. ## , -# , . 8-# , # ’ .

+ # #& # , -. 8 # - , #-, .