Введение в современную логику - Гладкий А.В

+ $ $ $* /$ ) :

$ 2- ($2 $ : B$ $* $ /$ )2 ' ' (

> 11 ( $( ' $*$ -

$6 ) + * $ $) -

) 1$6 ) $ X $*$* +$ $ 1 2 + $ Q G ( 9ƒRe]MS^ uOTM^ V

CUC< H H 9jNmOT^ j^NTO CU < 9hKON oMPJKt ~MSe

CV < $ $* $* /$ 1 *

1 +$ 1 $ $ $ - * G ( H > 11 1 +$ @$ $ 1-

( 1$6 D*$6 1$+ 2 $*2

* 2 ) $! 4, : ) )-

)$) ) $ $6 1$/ 1 ) !

1 0 ' * $5 1$1$6 @$ $* $ $ $6$ ( :$( $( > 11 1 * $ ) + ) 1$6 :6 1 /6 $2

@ 1$ A 1$ $( G ( H

$( ( :$( 1 > 11 $)$ $* - ' X @$ $ $ G ( H $*$ +$ ) ) + ( 0 * *$* + )

1 6 1 * ) 1 ) 4 6 * 1$ $6

$ > 11 + + 1 * $ ) 2 1$65 1 + $ $ *$! 4$ +$ +$ G ( H + 1 6 ! + * 6

+$ $ +$ $ 6 + $

)$6 6 1 2 + ( $* -$ 1 * ( 5 A > 11 1 :$! 4[$ $* 1 * G ( X 1 @ A $ 1 $ ( +

+ $ 1 ,$) $ 1 )$

$) 0$) $ @$ 0 $ 6

$) 1 2 + 1 1 * )$ 2 1 * ( 0 5

$ F "

C

* :-)

" ; ) * :

M t

M t ;

X $( $ $ 6 + 1 + 6

$ 1 * ) 1 * 1$ ) 0 6 0 ' ' ) )$* , A + *

+$ * ' 6 * ' * +$* -

* $6 )2 ( 1$ 4 2 $ /-$5 $6 1 @$ 1 * *$* ) 1$) $ - : * *$* 1$+ * $ $ ' 6 * -

' * , + 6 * 1$+ ( $) $ ) ) 1$) $: * :6 1 +-

6 $6 ) * 1$ $ $

1 0 $ +$ $ 1- * ( 1 ( 9 $ $6 +$ $ $(

: 2 * $*$6 ) 1$ 1 ) 1- 0 +$) 1$ 2 $ 1 * 1 @$ $

$+$ + )( 2$<

8 % " & * & " ; & "; " ";

" ; " & * ; " " ;

" # C " "; & & "

& " 2"& * * # > & " "; " "

& " " % & " * " * & " &

# ) * " % & " " "

& " * && " & ; O + # G & K,# 8 & " "" & " % & " % " " ;

" ; && " ; " " +" " 5

" " " *, " "# 3 " "

" && " 5 & " * ; "

; " " * # A ? "

& * " * 4 ; "

; " " *4# E " " * & " % " " " + " "

" & & " " % & " ,

* & " " " * " " % " " " " & " "

" " " " * O " 2 " * * ";

+ & * 4 " & " *

4 , " " " * 5 " "

6 "

0

: ;

& " * % " "

" ? " " " ; #

8 % " " % & " "

& & ;" " " & +; " " "

" * & " " 5 "4 " ; & " 45"; " * " 4 *,# C * " " *

& "; " " " * "

* #

+ ) $* $ '$6

$ $ > 11 1 ) / (

$ * 1 $) 1 $*

1 + )2 * (

* ) @$2 2 0 0 ' $6 1$ - 1 )! $+ * * $*/ + * *- *$* $) 9 1$ U< > 11 $ ) ) +$ ( ' /$ $ $6 $6-

$) + * $ 2 1 I $

$( > 11 1 $ 6 $6

1$*$* +$ ) $ / ( 1 +$

$ @1 2 6 )2 $)$( $ 1 '$6 + - 2 ( $6 2 + + $+ ) ) ) > + *

6 $+ + 1$ 1$ $* 1$ 1 / 1$* $( $

/ $ $ 1$ / * $ +$)2 +

1 + @$ / $ $ $* ( + 6 1$( +$6

2 + ( 1 ' 9 1 + @ 1 -

) 4 + )2 )2

5 ) ) $ $* $6 )$6 \< > 11 1$

($6! $'$ + 2 ) $ ) / 2

+ ) $* * 1 1$* 0$

+ / 2 1 * 1$ $ $ 1 )$6 92$* + 1)$ 2 $(! > 11 -

: 1 $* +$ /$ $ 6

4 + $5 0 * 1$< $ 1

$ $ $) 1 ) 1 + @$ $) $ $6 $6 $ + / 0 - 1$ 1 6$6 * * 2 1 9 +$ * @$( ' 1 6$* $ + *E 1 $ $6 1)$) >$ 1 : * 1 ) / ( <

Y/ : 1$) 1 1$* 0- $ + / 0 1$ * *$*

1 $ 2$ * 1 2 1$

* ( 1$ 1$ +$ 2 2 ) 1$ $ 1 1 6$ 1 :$

($ $* $ $ $ 6 $)$)(

$)2! $ : 1$ 1 * 6 $)(

1 $)2 $) 6

$ $6 2 ) 1 2 $( 1 ( $ -

+ ( ') $( $ $ $ $ @$ :

$ 1 *$ 1$) +$ / )

1 $)2 2 ) 1 2

@$( $+ ( ') A 1 *$* 1$ )$* : + ( : 1 2$* 1$ $6

8 $&& ; " /" 2" " 0 I 2

& " " G 5 9 /6 " 2""

45 ? " &" " 4

2 9 " & "; " " = %

" # 6 " * " "

4 " " & +WXYZ[, & "; "

5 45 "& # 8 " " 2"" & "; " & # > " " " +\]^[X_`YZ,# 5 / 2" 0

" " 2" " # E " & " 2" 4 "

Q * " 2""# 6 2" "

* & " & 4 "

# . . . : & * & " ""

# 6 & % "

*4 +a[b cdebfge[XY^Xgeh[X_ffge^`ff[f, " # E * "

" "" * * " =

" " ""

% " & " " #

> # 1"& 4

" * * *# D " " 2"" *

" " #0

3 % $&& " & 2 & " " " & " " & " & 5 & "

" " & " " " & " 4 " " 45";

;9 /) " "" " 2"" 9 : " " @ 2"" & "; 5 " # ) " " " " " 2" " 9 "

* "

4 " "

& " *9 8 5

, * $)2 $*2 * V

# 6 2" & " " & " & " 5" " &

" 45 ; & " # > 5 "

" " " & & ; " " ; & & " " ;

" * " *4 * & ""#0

E " &" " /" 2" " 0 % " "

& " * & " # 8 * "2 * 5 4 & " & 45" & " * / " 0 4

& * & "#

5 . 6 $. #

.# " "

1 ) / ( ) +$ ( -$)( $ 1 /6 $ $* $ )$*

* @ 1 + 2 9 1)$)2< 2 1$ $ - $)(

v 1 : * @$( 1 ) 1 )2 + )2 $(

$) + $ /$ $*

1 0 6 0 ' 1 ( $ +$ + )(

$ $ ) $+ $6 $ 1 2

+ + /$ + + 2 $*2 2

+ *2 $* 1 +$6 D$) * 1 6$* $ $

1$ $ - $)( $! + )$* 1$

$) 1$ ) *$ $* $ /$ 0$) $ - ) ) @$ $* 1$ $6 1$6 B - $ $ 1 1 2-@ 1$ $) $ $+ 1$6 2$* ) + 2 *2 } > 9~TKS †RKeTJ CV C < 1 */ )2 $ ): 0 1 *$($( 3 ( + 6 * )( 1 $ : 0 - 1$( 1 6$ } G 1 6 9~TKS uOKSŠ"?RP hqK]•?NNR?S

T

"

D

.

"

u

$ $ * "

)

0 F

) "

) H 2 9jJqKSKPRMP ‰RO"qTO V V < 1$) $

1$ * ) 1$ 9 6$ * ) 1$2

2$< 1 / ( 1 6 1$) +$ -

1$ 1 6 ) ( 0$+ 9 0- + 1 < >$ @$2 1$ 1 +

: 0 * )+ 1 6 9 1$ +

* ) 2< $ ) ,$$ $ + * $-

6 )2 $ 1$ 1 1$ 9$< - $* ) $ $6 1$ +$ $ -

1$2 $ $

$ * $( 0 +$ +$* +$

D$ 1$* )$* +$ $ +$

D$) * *$* [ / @$ * 1-

) 1 @$ 0 1 ( 1 6 )2

$ $ $ $)2 2 + *

$ $+ $ $+ ) * 9 - $6 ) + / $6 ) < X ( $) @$ 1-

6 1 '$ 1 $) 9 *

+ : *< : 1$ +$ $6 2 $ $ $ $6 + / $ $(

1 $ +$ 4$5 +$6 @$ +

B ( * ( :$ $6 * 1 $2 : $) $ 1 *$ 1

@$ $6 $ $6 6 ) 1$* 9 $6

) 1$+ ( \< +$

$ $ $6 * 1 Y $ $ $

$*/ ( )

A$ $6$ $ $+ 2 $ 1 /6 -

$)2 ( ) $ -

) ( $1 :$ 1 ( ) - ' $ 1$* $ $+ ( $ $+

+ 2 $) *+ $ $6 $ $ *

: 888 @ + $ $ Y 9 < 4 + 5 9 < 3$ $)( @$( 6 + (

- /

*

C

/ +$ 1 *$* ) $2 1 *2

/ * ) * ) ) $6

,

Y ) * 1 $ 1 * Y -$ $6 0 0 * $ X1 ) 9vKOM"q ĥRS?sK VU V < * 4xJqR"K ?O^RST eT?]TJOR"? ^T]?SPJOKJK5 94$ * $+ 1 5< 4$+ 1 5 +$ 6 4$ @$ $* $5 ` 1 $ @$( ( $* 2$

4 + 5 Y ! ( $ $6 1 * $6 1 )

$6$ ) $6 $) ) $6-$E $ $6 +$( A2 $* ) )$6 1 6 1 6 ) 1 *$* 941 + *5 4 /6

+ * 5 4$' *5 4$ $5 $ < $

* ) 1 ) 1 * @$2 1 *$( 94> 1 + * * $ /$6 + +$

/$ ) $ +6* 1 $ )$6 1$* + /$/ *5 4 +

)$* /6 $* $ )$6 + ( /6 $(1 )5 $ < $ 2 * ) 1 6 *$ 2 1 *$* * * / * 1$) $ 2

$2 * 1 *$* $) ) 1 * $+$*

1 ) 9B 4 + 25 $ @$ +

) +$ * )( ) < > @$ $* )

0 0 1 2$* $ * 1$6 +$ -

$6$ $ + 6 1 6 1 1$

* ( * *$* $6$

$ ) 1$* @$ $

X$6 * 0 1 $ $+ *

1$ E + / )$ ) $ +$

1$6 9 + $6 1 *< 1 $ $ $+ +$ 1 )

$ $) 1 *$* / $ 1$ *

) $( $ $6$ $ +$6 ( $1-1 6$ $*$6 ) )$*

$* 1 *$6 ) *2 1 /6 $ $)2

1 ( [$ $* $ 2 $ - *$6 )2 $ 1 1$ $ $6$

, * $)2 $*2 * VC

4 ) *5 1 /6 1$)2 ( +$

1 $ ) 1 + )$* $6 9 1 $

*$ $6$6 2 ( $ $* : 1$<

) " " & " " * & & " " " & & " " & " / " &" ""0 ? & " "# +8 " * " &" " * " "

" 5 4 * " " "2" / 5 " &"

" 0 " #, 8 i i "" " &

" " " * " ; " / " 5 ; " " ; " " 0 * & * ;

" " * & & " ; =

" * ; " * &" * / 4 & * " " 0 +& " 4 & "" &

& " @"2" * % "; " ,# $& "

" * " & " & " " & & " " 4 "

+ ; ; " ; * / " & " "0,#

A (+ $* $ +$ $)2

2 * )2 $*2 + + ( *$6$ -

) $*/ $) * +$ 2

($6 +$ $ : 2 ) $ +6 $

$+ )2 1 *$*2 $)2 0$2

)$ $+ 2 *2 1 ' 2 *

$)2 $)2 0$ $ $6 $)

@$2 + *2 $) * $ $

$)2 + ( 1 6 2 ) 0$) $ 1$6

+ ) $* 9 $ $ @$ )$ 1$ $)$( 0$ D$< > @$ $ *

* $ 1$ $ $+ ( $) $ $+ ($ $6$ $ $) $*$*

$6 $6 ($ 6: $6$

$)2 ( $)2 *2 -

($6 1 $ $ $) 1 *$* 2

+ *2 $ +6 $+ )2 1 *$*2 $)2

1

$

-

[$6 8Z W + 1 *

0$2 1 $6$ @$2 ( :$* +

+ $ $ $+ $ $ 6 / - $ $ 1 / ( 1 *$* ) : ( $1 0 )-

$) $ $6$ * * *$* 0 6 * 1 6$6 > @$ 1 1 6 - *2 $ $ $+ 1 *$* *$6 $-

$6 4 2 $5 ) 1 )

) @$ 1 *$ 1 $ $6 :$ :

$ 1$6 * $6 1$ 1$6 )(

/$)( 3$6$ $ $ $ @$ $6 )

:6 +$) ) ) 0 6 ) 1

* ' 1 + $)2 + ( $ )$6 6

$( 6 $** 1 +$ :6 ) 6* )

$ 1 $ 1 *$* 1 2 1 / * 0 '

+ / )$ $)2 *2 $ 1

) $)2 0$ 0 6 * 1 6$6 $ )$6 $) $ $6$ *

6 $ 6 1 $ $ $* - + ) * *E 2 1$) +$) $ * 0 6 *

1 +$6 $ $2$6 $* $ :

+$)$6 :6 1$ $ 1 1 2 */ )

4$65 +$ 9@$ $6 +-

0$)< $ + * 1 +$6 ( 1

$ 0 ) $ $ )$6 $(!$2 *2 1 2$* 1$6 * $6 * 0-

) 1 ) * ) 1 ) $ 1 ( $ +$ @$ * ) 1 1 * $) -$6 $ +$ 1 $ $ $ 0 ' + 4$6: 5 ' 1 + ( $ +

$ $ $ $6$

8 " " "

& @ " * " "# 8 " " *

& ; & ; " " * " 4 " " " " " % " * & " "" " *

D : ; D "

:.$; : ;

$ !

* :` B; :` ; / :6 B; / :o ; / : B; / :! A D / o / - / o ;