Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Logica_uristiv-Konversky

.pdf
Скачиваний:
6
Добавлен:
20.03.2015
Размер:
1.57 Mб
Скачать

*. +

271

6 0, -# ' # :

0(1 ) 0(2 )

.......…

P(an )

a1 6, 2 6, ... , n 6

0( )

! , 0( )# 6. $ - ' ' , . X-

! ! -- ,

, . $ , #

# , # , ,1, 2, ... , n ' # 0:

7 – . 1 – . R – .

7 , 1 , R – $.

*$ , $ " .

G & # ,, , # P " & .

+ ## .

,

# ' D ) ,«; ».

; – , «; ».

3 – , «; ».

*$ , D )

«; ».

272

. . .

5 # , " "* , # " . F ' ' -' :

N . ! N .

*$ , -% N 0 1.

' , ! :

) ; ) -

; ) ’ -

! .

 

! ' '

 

2.

$ ’ :

 

1)

6

!

;

 

2)

6

!

;

 

3)

+’

;

4)6 ;

5)6 .

6 ! -

’ ,

 

.

-

# , ' ,. 7 !

:

«% - L, -».

1 ? )# ( ! ( ) , ( / ( (# - * # /*: «$ "$#Q , DE / *0 , (”.

# /+ ( ) ( / # )#, > # ! ' ! ' !#* # ! , / ( * ( ! ;#! ! > .

2 ' ; ( ' !’ ! ! ! -

%, "#" , (1561—1626 .), ( ) # ! +' )- #! ! ! + % #**0.

*. +

273

, « 7. , 10. , 13.$. , - :

*

"

% #> L

 

 

 

7.'

M, N, Z

" #

 

 

 

10.'

A, B, N

" #

 

 

 

13.'

C, D, N

" #

 

 

 

, " -N».

7 :

1./$7 –

2./'O –

3./LZ –

*$ , ) /

! ! ,: «% L

, !! -

, L ».

! , « , , . , , . *$ , -».

7 :

/$7 – $7 – –

*$ , / ) .

B # ’ . 7 :

«% ,! L,, , -,L, L ».

274

. . .

+ # . + # , # , :

*

"

 

 

 

 

7.'

M, N, Z

" #

 

 

 

8.'

A, B, C

" # !

 

 

 

9.'

D, N, F

" #

 

 

 

10.'

D, B, C

" # !

 

 

 

11.'

Q, N, Z

" #

 

 

 

12.'

S, P, R

" # !

 

 

 

+ , , # , N,, N . /, N # .

7 :

/$7 – /'L – $7 – – 'L – –

*$ , / ) .

$ # -, , # .

3 « »:

«% L, ,, L ».

, «9 % % % '

$ ' ».

F :

# % /1

$7' )

1.

# % /2

$7' )

2.

# % /3

$7' )

3.

*$ , / ) .

*. +

275

+ , :

«% - , ! !, -

!».

# , &! .3 ' , -, , , -/, $, 7. 5 3 d. /, ',.

F :

/$ ) , $ .

*$ , / .

! # # -# ’ , ' - , . + " -, , " " ' " ,# " " , " ' " .

B) * /#(

0 # " " - , . % --, , -. / #1.

/

 

,

 

 

 

! -

1 E ) « * /#(» ( ' ! ! analogia, !- ( ! , ( .

276

 

. . .

 

’ ’ .

 

C # & : «/ -

,».

%,

, . 8 -, # " '" ' . 6 #' . 7# , , ' - '., 6 , -U # .

5 '. $ # , - , , -. % - # 8. $ : «4 # # # ' ' & " . 0 - # , ,' , " '' &. 0 - , " '

# , -»1.

% # , '# &-" .

0 - ' . $ -, - '.

+ ! ’ -’ .

7 ’ ! ’.

1 - /. 0. G — ) ) . — ., 1967. — . 279.

*. +

 

 

 

 

 

 

277

+ ’

 

!.

" ,

’ -

.

 

 

 

 

 

" ,

,

 

!.

 

 

 

 

' ! :

1)

 

 

 

;

 

2)

 

 

 

’ ;

3)

 

 

!

;

4)

 

! ’ .

+ "

# – , #-

– '.

 

 

 

 

 

A

:

 

 

 

 

 

.

/ -

, .

* ' -# C . 0 -9 + , « $» Q, # « + $» Q( ). + , + 9 ,+ 9 01, -02 , # 03 . % # ,' # 01, 02, 03 . 6 -, «

+ $».

7 :

01 ( ) 02 ( ) 03 ( ), ... , 0n ( ). 01 ( ) 02 ( ) 03 ( ), ... , 0n ( ).

Q(a)

Q( )

D :

# 01 , ... , 0n # 01 , ... , 0n # Q

*$ , , , Q.

278

. . .

! : «4 " 3 $ % , '- % % -. -, )».

B ! :

1)( );

2)( );

3)

 

 

.

 

 

/

 

 

-

 

 

 

.

+ ' " 0 #-' . !0 # - " # , , -, " .

0 ’ :

= (1, 2 , ... , n ) = (1, 2 , ... , n ), # -" , # -

:

01(1, 2 ,..., n) 02(1, a2,..., n) ... 0n (1, a2,...,n). 01(1, 2,..., n) 02(1, 2 ..., n ) ... 0n (1, 2,..., n).

Q(a1, a2,..., an)

Q(1 , 2,..., n)

' ! -:

1. K ’.

2. " !’ !.

3. 7

 

 

 

.

4. B ’ -

.

 

5 . 4 -,& , ’ # , , .

*. +

279

% *0 # $& ( )$% )&

?

1. .

2.+ .

3.+ .

4./ .

5.$ .

6.G .

7. U.

8.+ .

9.+ .

10.$ .

11.+ ' .

12.' .

13.3- .

14.+ '.

15.8 - .

16.+ .

17.+ - - .

18..

19.% .

20.G .

21.3 .

22.% U .

23..

24.+ & .

25.4 .

26.&' U .

27.$ & .

28.% U +, R, BV & "' B & .

29.4 U-.

30.$ .

31./ .

32.G ' '.

280

. . .

33.' '.

34.$ ' '.

35.$ ' '.

36.4 , -'.

37.G # ’ .

38.$ ' .

39..

40.$ .

41.3 & .

1. + :

[(p q) (p r) ( q r)] p; [(p r) (q r) (p q)] p;

[(p q) (r s) (p r)] (q s); [(p q) (r s) ( q s)] ( p r).

2. % U:

[(p q) r] [(p r) q]; [(p r) q] [(p q) r];

[(p (q r)] [(p q) r];

[(p q) (p r) ( q r)] p

3. +:

Asp Esp; Asp a ! ;! Esp;

Isp Osp;! Osp.

4.! " - , .

5.! "A AV & - .

6.+ III AV & .

7.+ II, III AV &" ' A & :

II # : /OO, OA"

III # : //A, O/", "/", A/A AV # : //A, O/", /OO.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]