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

Logika-Homenko

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

; - , , -, .

: $ + & : "+ + «».

* , , + : «6-$ ) )». ) "

:

, $ . '

-

" + . -

+ (-, ; " - + , - .

) ’ " : (

!

" % + -

% -. B +

 

- ( .

) XX . " : +

 

 

"

" . M

 

 

 

, , « » «$ -

», ; %

(

, -

 

" " : «

», «$» «

»;

«

», «$» « »). L

-

& ( + <- '-+- ()=- (1878—1956). %$, $ -: & . N " - — «*-! ».

A & ,+ ( !-

 

;

&"

& , ! &

-

, + :+< $,-+, (1881—1966).

 

,

( +

+

, % +

-

 

 

%$

$ + .

 

5

& ! ;

131

5.7. # 8 9 & ' < C '

-" &

) " ++ % &

 

( +

:

+;

 

%

 

&

 

 

%

 

&

$

+.

& ' < # ! —' ; ! , ; .-$ . #-$ ! , + < !.

$ ; $ ! -# !.

 

 

& ' < # . ! —

 

 

 

 

' ; ! , ; .-

 

 

. $

. #-

 

 

$ ! , +

<

!.

 

 

$ ; $ ! -

 

 

# . !.

 

 

 

 

 

 

 

, - +

 

, (-

+ "

. B "

"+

 

"$ + .

 

 

 

 

 

 

 

 

 

 

C ; " "

$

,

( ( $ +

-

-

 

« », " +

-

 

+. C ; , +

-

-

, ,

 

 

+.

 

 

 

C ; " "

$

,

( ( $ +

- -

«$», " +

-

$ -

 

 

+. C ; , +

- $ ,

-

-,

 

$

+.

 

 

 

 

«) $

 

 

 

$

$: B(

, M

.

 

 

 

 

 

 

 

 

 

132

5

 

 

 

%

 

$ : «< , 0

 

».

 

 

: «+

,

 

 

 

 

) 0 ».

 

 

-

:

 

,

 

% ,

 

 

 

«/ . + ) < ) )».

 

 

 

)-<<;: R (

$ $

-

 

$ (

-

 

?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%>+<<;: / !

 

$.

 

B

"

 

+

 

 

«+ », «< », «0 » -

 

"

 

p, q, r. ' :

 

 

 

 

 

 

B(

( : q ~ r ;

 

 

 

 

M

:

~ p r ;

 

 

 

 

 

 

 

 

:

~ r ( p q) .

 

 

 

 

 

 

' + "

 

,

 

- " +

 

+ -

 

$

+.

 

 

 

 

 

 

 

 

 

 

- "$ $ + "+

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z :/

p

 

q

 

r

~p

 

~r

 

p q

q ~r

~p r

~r p q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

i

 

i

 

i

x

 

 

x

 

i

x

i

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

i

 

i

 

x

x

 

 

i

 

i

i

x

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

i

 

x

 

i

x

 

 

x

 

i

x

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

i

 

x

 

x

x

 

 

i

 

i

x

x

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

x

 

i

 

i

i

 

 

x

 

i

x

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

x

 

i

 

x

i

 

 

i

 

i

i

i

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

x

 

x

 

i

i

 

 

x

 

x

x

i

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

x

 

x

 

x

i

 

 

i

 

x

x

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

# "-& " , ; +

 

 

-

 

+, &$

" - (6),

-

5

& ! ;

133

+ « ». < -, ; - -$ ( .

# "-& " ( -, ; ( -

+

 

$ +, &$

 

"

- , $

. <

-

-, ; - $ (

-

, $

$ ’ .

 

 

/ !

%

 

 

" + % %

+

$ + ( +

:

 

 

%

(

);

 

%

( (

);

 

%

( (

).

-"-

& ! # ' $ -, # -

! # . !.

& ! # ' $ - ; , # !, # . !.

& ! # ' $ - $ ; , # !, # . !.

C ! — !- , . . $ . # $ ! , + < !.

, - +

 

-

, ’ , (

-

" , ! +

"$ +

.

#’-, ( +

 

.

 

(1)4 ' ) ) '! , .

(2)6 !, % ' ) ) ' ! ).

134

5

 

 

 

 

%>+<<;: L- +

 

(1) (2). ) -

 

 

% + -:

 

 

 

 

 

 

(1)

p q ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2)

~ (~ p ~ q) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

$ "

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z :/

 

 

 

 

p

q

~p

~q

p q

~p ~ q

 

~ (~p ~q)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

i

i

x

x

 

i

 

 

x

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

i

x

x

i

 

x

 

 

i

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

x

i

i

x

 

x

 

 

i

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

x

x

i

i

 

x

 

 

i

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C , "

+

(1) (2)

 

 

+ . ( ,

+

 

(1)

 

(2)

 

-

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( -

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

& !

# ! ,

 

 

 

 

 

 

 

 

 

+ <

 

#

 

.

-

 

%

 

 

 

 

-

 

 

!

-

-

 

 

$

. N

+ .

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

' ,

 

 

 

 

 

 

 

 

; # .

 

 

 

 

 

 

C ;

 

!

 

 

 

 

, — ! , (

 

 

( , ; ! - !-

 

 

, " ( -

.

 

 

 

/

 

%

 

-

 

 

 

(

(

 

 

 

 

 

.

 

5

& ! ;

135

 

 

 

 

. $, +

# ’! <

 

 

 

 

 

 

"

#

 

 

 

$ ,

.

 

 

 

 

 

 

 

 

 

+

; # "

-

 

 

 

 

 

 

 

'

 

-

 

 

 

 

.

$

;

$ "

 

.

 

-

 

 

 

 

$ .

 

 

 

 

 

 

 

 

# "

 

- —

;

 

 

, :

 

 

1)

! ($)

;

 

 

 

 

 

 

2) ’+ " + + , ( +

 

 

;

 

- "-& ’+

" &

3) ,

 

 

+

, -

.

 

 

 

 

C ; ,

 

. C ; ,

 

 

.

 

 

 

 

 

 

 

-

: «/ % #,

! ' !. 0 .

3 , !

' !». '

-

, "

.

 

 

 

 

 

%>+<<;:

 

 

 

 

 

 

 

 

. B "

! ($)

 

+

, ; $

 

, "

:

 

 

 

 

 

 

 

«0 » p.

 

 

 

 

 

 

 

 

 

«> ! ' !» q.

 

 

 

 

 

%

 

p ( ~q, — , -

 

 

 

 

~q.

 

 

 

 

 

 

 

 

 

 

 

 

$

( :

 

 

 

 

 

 

 

 

 

p ( ~q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p_____

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

#’-

-

 

 

 

 

 

«

’+ " »:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(p( ~q) p.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, - "-& ’+ " & -

 

. B " ’-, - +

 

 

 

 

 

((p ( ~q) p) ( ~q

.

 

 

 

 

 

136

5

#- " .

Z :/

p

q

~q

p ( ~q

(p ( ~q) p

((p ( ~q) p) ( ~q

 

 

 

 

 

 

 

1

i

i

x

x

x

i

 

 

 

 

 

 

 

2

i

x

i

i

i

i

 

 

 

 

 

 

 

3

x

i

x

i

x

i

 

 

 

 

 

 

 

4

x

x

i

i

x

i

 

 

 

 

 

 

 

# " , ; ( +

— "

.

 

' , ( ( , ; -

(

- %

-

 

. < -, ; -

, - .

5.8. ' & C

.

# ' & 8 C &

 

 

 

 

 

B +

, $ (-

 

 

! ;

 

.

 

$ , $ + -$, ( . / + - -% , , ’ --& , %$ + , - + % , + .

! — ! ,

 

$ ( -

).

 

— .

-

 

! , ! # < '

< # .

J $" $ . !

!-

, '.

 

5

& ! ;

137

' , + ( ( , ; , ; -+ , - $ , , (- , ; .

B

 

 

 

$ -

+

. C ;

! " ,

$ , -

 

 

, &$ "

++

, ; , "

$

+

.

 

 

 

 

 

 

B

 

 

 

 

$ -

+ (

 

%

.

B ;

&$

+

$

,

$

 

%

 

,

( %$ ( , &. ' "« ($ ».

+ - - & .

— # < , ! ! < - ' .

# ( , $ + ( + , ++ $ - : , , , .

Q $ "$ , --"+:

Z

) )

 

-< %

 

 

 

) ) & -<)0

:/

& -<)0 /%'

 

 

 

 

() ( P(-<

 

 

 

 

 

 

 

 

 

 

1

:

/$ , ( , -

: +

 

 

 

 

 

 

 

 

 

 

 

 

2

O

 

B

,

 

,

 

O

 

+-

 

 

 

%

,

 

,

 

 

 

 

 

 

 

-, -

 

 

 

 

 

3

'

 

M , -, , % ,

-

'

 

( )

 

( )

,

%

 

 

+

 

4

B

’ ,

,

B

 

 

+-

 

 

 

 

 

 

 

 

 

 

 

 

138

5

1. /$

- , ( (

+

).

2. C +, % + ( + ).

3.' % - ( ( +-).

4.- , ; ( + ).

: % ,( ! ! - . G$ ,, XVII—XIX . +-XX .% & ,1960- ! % ($ . : - -& -& . ' , ,&$ --+ + +.

* +$ $ . # -$ , + +--& .

5.9.

% $ $

& %

 

 

 

 

 

 

#-

 

- (

.

#-

&& - (

. #

- -

.

+ %$ + . +

 

+

&

! " & &$

#

+ ’

 

, -

 

! " &, ’

& " &.

 

 

( .

 

 

 

%$ — ! ,$ < < ! , < #- !.

, ; , ( , ( $ -

5

& ! ;

139

$ ,

" ( . * %

(

,

, " -

" .

 

 

B ( - ’ -

- $ $

:

;

( " &)

 

.

 

#$ ( .

"

$ $ # ) —

# , #$ .

G& ( + -

+

. -

+- (

-

. / , «/ $?» -, ; + , & + , .

C ; + ,& + , . ' , ; - : «/ -) ?», ;, ,- " : «') !$ , ) !,», ( ( % .

E #$ — , ' , # . .

+- " +.

/ ,

: «2 # ?», -

$(

" , ( ( -

. ' ( , -, % . % :«/ ?» ( $ " -

 

(

( $ -

(

% & + )

+ ’

+ ( ).

140

5

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