Logica_uristiv-Konversky

V .

161

, « , , %- ». / # &

« ».

!

« », : « ».

' --.

, « », «-

», «$%$ %$» .

7 :

A&%a a.

" -

.

1. B . /-. + " , « » «-

».

« » - , . !, « "-

0» – « », « » « - ». / – «$ - ». + « »

# : « – , , , ) ». / « » -.

2. B . +- " « -». ! , «$ -

, , ». /:

1);

2)" .

3. K . 6. ! , «, ». +

162 . . .

« » « », .

4. B , ,

. +- " ,

« ». ! , « - , , % ». /

« » « » - .

.

6 #

.

L #

		-
,	, -
.
L # , -
		, -

	.
,		& .
L # ,		! !

,, . # , #

« % % ;. + - ». / & ' ’ #-# . 3& ' # # H Cl Ft F

# .
B	-
	.

, « , , )». / , -. , -. D # -. % # -’ . ! , # : «» – , - , - ( ).

V .

163

/) &E ', ( $ ( ($% )&* )&E ', (

$ -, . 5- " # & :

«$ , -! , - - , , # -

	-
	».
	! '

– definitio, & . / «-

	» #	« # ».
+		-

:

–.

, « , -$». 3 « »

, - , definiendum ( ")

«Dfd».
*	, -
, ,	,

’ ( ' – « , ) -

$») -. ! '' definiens ( ")«Dfn».

" :

1),

2),

3).

+ ! # ,' , « » (Dfd) « » (Dfn).

, «# –

’ , % -» – Dfn

164 . . .

, & & Dfd. 5

«# – 9 , + , Q , + » – Dfn

, ’ ,.

/ # , Dfn #Dfd,Dfd. 6 , -Dfd - , ' # Dfd. $, Dfd # -, , - .

0 ' , Dfd ' - . C # , ' ' -, , ' -" -' .

+ # (Df)

#- : Dfd =Df Dfn. 4 ( = ) Dfd i Dfn.

9 # - :

1.	B	Dfd:	Dfn		.
			Dfd
2.	B	Dfd:		Dfd		.
				Dfn

6 & , ' & # « -» (Dfd) « » (Dfn), # ' , &- .

+ ! # ! -

! . $, & ' ' & '& ' - , ' & ' & .

6 - , "-' # Df, # & & ,

V .

165

- , , - , -.

3 & ' ' (

) #			,
:
-, , -	, -
;
-, #		,	-

.

4 # # & -

# :
)		#	!
)	#			!.
0			#				,
, , , . B-
"	, & .
8					#		-

, , - , . ! -– nomina ( ’ ).

0 # – -DfdDfn. G # , (- ) , -, Dfd # ,( ' " ' ).

/ # ' # &, &- ' " , & - , # , & -& ' Dfd .

Dfd # & ':

) ( , ’),

) ( # -).

166

. . .

% Dfd # , -

, # ,– . % -Dfd ’ ,Dfd # ’ ' . >& Dfd ’ , . 3 & , - , & Dfd. 6 , & & ' Dfd 1:

Dfd =Df Dfn.

$ & Dfd # #' ( : , , - " , , ). 5 ,# # ( ’ ), Dfn # # # ' . ! ,

1.#$ – 7 0.

2.7 0 – #$.

3.# 0 – ,.

4., -

0, ) % .

3 1, 2, 3 Dfd # ' , 4 ' . Dfd 1 2 ,. % # , Dfd Dfn& , # ’ ' ' ' ( ).

0 # & Dfd #-& ' . 5 , - & Dfd # . 0 - & Dfd – & ' ' , & Dfd & ' -. :

1.«#$» – ’ .

2.«#$» – .

1 0 , , .

V .

167

3.«+ » – , 0.

4.4 « < » – ’ .

% , Dfd %

" %		$	,	Dfn	$
" 0:
1.	«Dfd» =Df «Dfn»
2.	«Dfd» =Df Dfn.
+ " & & ': «! " » -
	$	, )	«; ».	A	–

& ': « « " » -

, , 0 ) ».

+ # &

.
'					:
1.	$					-
;
2.	$		;
3.	@				;
4.	"					;
5.	A				.

& '

, -Dfd, -.

, «! – , ) -" »; «6 – " - , ) $0 -, "»; «1 – -

% $ ».

0 - , & & ', && . 3

#	-
. ! , «4 –	"
% ».

! -

& . @
	# , # -

168		. . .
		. F

& ' " , & , - ' . ! , «< – ) , -

$ 0 ,

% )
»; «< – ,
» ) .
R #	& .
"

! # !,

# -’ . ! , « –

% , "»; «5- – " , -

' % ».

A & # .

A , : 1) ( -, ,

! ! ); 2) ;

3) , ,		1
2		, -
, .

$ & & - ' :

1. <- (p, q, r) # ;

2.% – # , # ;

3.% p i q # , (p & q), (p q), (p q), (p q) # ;

4.8 1, 2, 3 #-

.

! & ' -

, –	.
7

! -

( ), -! . & ' ’ # :

A # B =Df{x / x A x B}.

V .

169

/ # # «0». «0» –

, $ -

«n» 0, 0 n = 0».

F , , , # , #

	.
7	,
		,
		.
, « « ’ » -
’		». %

, , – . $ &- : «Dfd» =Df Dfn.

4 ' & , Dfd i Dfn #-. 1 -& -, -. , -& « « »

» – «Dfd» =Df Dfn.

7 # : «<-

– » – Dfd =Df Dfn,
		: «3 « »
$	, ) «
» – «Dfd» =Df «Dfn».
7		, #	,
# :
–
–		.
/
# ,				-

, . +, - . > # :

«# 3 N ...». ! , « -« »$, –

, ) ».

5 # ,# -.

170		. . .
7		-

# , -

, -

, . +" -

: « », « », «-

» .
"
.		.
1. ' #

/ W Dfd i W Dfn - . + " -

: « # » «

# ».

, «

# »: «' – , ’». 0 & ,, -: W Dfd W Dfn.

/ , « » -« , ’ » -Dfd Dfn. 5 # ,«-», - . / #" , # ’.

+ « # » # -: «R – -

»; « – ,»; «1 – " ,$ $ % 0 »

) .

% # , « ! # - !» : «D -W Dfn -W Dfd, :

W Dfd W Dfn = (W Dfd W Dfn) & (W Dfn W Dfd).« -

»: «R – -0 0», « – 0 -