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

Логіка (Хоменко)

.pdf
Скачиваний:
118
Добавлен:
19.03.2015
Размер:
1.23 Mб
Скачать

B + " ’ ,& ?

4.11.

($ , $ " #, , & :. U ,

$ $ & & " , & . = :, + & : - , — . ; $& . ; $ & " - : « & & # " ». B- + / " , , + $ , & . B + - " , & , + $ , .

& : " , , - # , + " $ &?

4.12.

U , $ & : " & . ; & " / : «<& " , & " / - ». ; & " / : « "

/ ». & & & & .

F " , # , + & -& ?

5. 7 & " % , « », % * * , " , % " / *. *, 1/ * " , " " . ! % ’ % % * % "- % .

" % ’ % % .

5.1.< — " , / & . < -$:: « , & ».

@ " , & ?

5.2.< : «B — & , & — " ». @" , & ?

 

161

5.3. < : «<& & , & 2 + 2 = 5». @" , & ?

5.4. < : «B — & , & ». @" , & ?

5.5.: / " (<, , ) .

— " & ? — < " ,& .

, & , + ".

— K <? — " .

— < , + — & , — .

— ; ! , — . L $ , " & ?

5.6., + " -< / : « " ?» " < & . -" / & : «K<?». : «< , + " ». : «; ! & / !»" , " & (' " ).

5.7.<, ,$ , + & " , & & . % : (< ) .

<: J & . : " .

C’ , : <, .

5.8., + < - ## ,

<: J & .

: & .

, — " , — & .

5.9.: <, . % :— < — ## .

<: — " .

: B + < — " , — " . K $ <, ?

162

5

5.10., + & . : <: «L : & ?». <: & :, + + " .

L $ ’ , <, : & ?

5.11., + , " & , ’ # , & ,, & / .

:: <, . " , -— & , — # . -.

<: B — # . : = .

: B — # . @ <, ?

 

163

 

 

Ðîçä³ë 6

6 &) 6& )),

6.1.

--

3

#

! — ,% & /.

" # :

, # -# , + ;

, ## , + .

; / « /-», — «».

O # ' ( ). : $$ / , # # $ " . & $ .

# :

;

.

— ," % * & % %- .

164

6

0 — - , & % % -% *.

, & #

# , : :;- ;

- ;- .

, & #

# , : :« & »;« $».

b

;

 

H ( )

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

< ,

 

 

 

 

 

 

 

<

 

 

2

F-

-

 

 

 

 

 

 

 

 

 

 

 

 

< , <

 

 

2.1

$ (modus

 

 

 

 

 

ponens)

 

 

 

 

 

 

2.2

C (modus

 

 

< ,

 

 

 

tollens)

 

 

 

<

 

 

3

O-

-

 

 

 

 

 

 

 

 

 

 

 

 

< , <

 

 

3.1

C - $ -

 

 

F ,

-

 

(modus tollendo

 

 

 

#

-

 

ponens)

 

 

 

< ,

,

-

 

 

 

<

 

 

&

 

 

 

 

 

< , <

 

& .

 

 

 

 

 

 

 

 

 

 

 

 

 

< ,

 

 

3.2

$ - -

 

<

 

 

 

 

 

 

< , <

 

 

 

(modus ponendo

 

 

F

 

tollens)

 

 

 

 

 

&

 

 

 

 

 

< ,

 

«-

 

 

 

 

 

<

 

/ ’#-

 

 

 

 

 

 

 

 

" »

 

 

 

 

 

 

 

 

 

 

 

!

165

b

;

H ( )

%

 

 

 

 

 

 

 

 

4

F-

 

 

4.1

 

< { , { , <

 

 

 

 

 

4.2

-

< { , B { D, <

 

 

 

D

 

4.3

 

<{ , <{ , ~ ~

 

 

 

~<

 

4.4

 

<{ , {D, ~ ~D

 

 

 

~< ~C

 

 

 

 

 

0

b

;

H ( )

 

 

 

 

 

 

 

 

 

1

«C & »

 

 

 

 

 

 

<

 

 

 

 

 

 

 

 

 

 

 

 

<

2«% -

<

 

 

 

 

 

 

 

<

3

D % & — ,

 

* % % .

 

% , — -

.

.

4-

 

 

O # & :

 

;

 

& ;

 

;

 

.

166

6

!

 

b

;

 

 

 

H ( )

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

<

E

F S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

\ S

: -O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

<

\ S

: O.

 

 

 

 

 

 

 

 

 

 

 

 

 

F S : -O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S

: -O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S

: O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S : -O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

&

< (S+, O)

 

F S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% O : S.

 

 

 

 

 

 

 

 

< (S+, O+)

<

 

F S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F O : S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

E

\ S

: O.

 

 

 

 

 

 

 

 

\ O

: S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(S, O)

 

 

% S : O.

 

 

 

 

 

 

 

 

 

 

 

% O : S.

 

 

 

 

 

 

 

 

 

(S, O+)

<

 

% S : O.

 

 

 

 

 

 

 

 

 

 

 

F O : S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

167

 

 

 

 

 

 

 

 

 

 

 

 

 

; $

 

 

 

 

 

 

 

 

 

 

 

 

 

&

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

168

 

b

;

 

 

 

H ( )

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

<

E

F S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

\ -O : S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

 

\ S : O.

 

 

 

 

 

 

 

 

 

% -O : S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; $

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% -O : S.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

J

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.1

/

 

<

; -

F S : O.

 

 

 

 

( )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; , +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S : O.

 

 

 

 

 

 

; -<

 

 

; , + S : O.

 

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

E

; -

 

\ S : O.

 

 

 

 

 

 

 

 

 

 

; , + S : O.

 

 

 

 

 

 

; -E

 

; , +

 

 

 

 

 

 

 

 

 

 

 

$ S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S : O.

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!

 

4.2

/

<

; -E

 

$ S : O.

 

 

 

 

 

 

F S : O.

 

 

 

 

 

 

 

$

 

 

; , +

 

 

 

 

 

 

 

 

( )

 

 

 

 

 

 

 

 

 

 

E

; -<

 

\ S : O.

 

 

 

 

 

 

 

 

 

 

 

 

; , + S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.3.

/

; -

 

; , +

 

 

 

 

 

 

 

 

 

 

 

S : O.

 

 

 

 

 

 

 

( & )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

; -

 

 

; , + S

: O.

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.4.

/

<

 

 

F S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

 

 

\ S : O.

 

 

 

 

 

 

 

 

 

 

 

% S : O.

 

 

 

 

 

 

 

 

 

; -

; -<

 

; , + S : O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; , + S : O.

 

 

 

 

 

 

 

 

; , + S

: O.

 

 

 

 

 

 

 

 

 

 

 

 

169

 

 

 

; -

; -E

 

; , + $ S

 

 

 

 

 

 

 

 

 

 

: O.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

.

-

( ( ) :. , -— $ .

F ( # :

/ (S);

& / (O);

(J).

J / : &’: (S) $ , : -( . P / : (O). J / : ,:.

J / & / # -( .

-, * / % * / % .

-, * " */ % * " */ % .

% + & ( , - # .

P / . J / .

.

; + $ -( .

% —/* / * - .

170

6