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

$ $! 1 *$ $6 $-

* Y ) $ +$ * +$6 : *

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

> ( $1 6 D ' > + 1

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

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

1 4A B5 1$*$* $6 $ */

$) $ $) + * 1 ( A B $ *

1 $ $ 1 D ' * +$ $* (

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

$6 9Y$ $ $6 $ 1 * $ $ + (

1$6 +$ 1 ' * D ' * *$* 1 $ +$- ) + 1 ' 1$ $ /$*! -

$ $ 1 1$ F $ $ 2 @$ a b $ xF (x) +$ $ +$ F (a) F (b)<

>$6 1 2 * $ 1$1 *

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

$ ) B +$ $6 ( D '

$( 4>$1 : H5 4>$1 - : 5 @$ $ $ H * $

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

' 0 ' * ) $+ * * 1 @-

6 2 $ 1 @$2 * )$ +$ $ $ D ' * 43 )( $

$ ' 0 ' * ) 5 * *$* *

2 $ $ (

,$ 1 ' 1$ $ /$ >

+ 1 1 xF (x) F (x) 9$- )(< 1$ 1 )( $ $ M +$ $*

) ) ) 1 $6 * +$ @-

$) $ M $ ($ F 91 + @$ $ 1 $

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

+$ $ M $* @$ / ( ($ F < >

$ $ 1 @$ 1 +$ $* - ) :6 $ $* * )( 1 9$<

[$6 888 X$ (

1 * / ( * @$ a $ M -

$6 1 F (a) 91 + * @$2 1 (

$ )$6 $ $) <

1 1 *$ ): $*! 4 *

f(x) = 0 f(x) + +$( $1

($ $6 ) @00 '$ $ 2$* ) ($ $6- )( 65 )$/ / 2 ($ 1 ) )2 0 ' (* *$* $ $) E $ 4 *

ax = b a b ($ $6 )T + a = 0 $ ($ $6 )(

65 $6 $ $! $ 1 * / (

$ $ $6 $ $ $/ $ *

* $ + * ($ 6 @$

* $ $ 1$ $ +$) $6 b a >

( $! $ 4 : : +

$2 0 ) 5 * *$* $ $ ) 1-

6 * $ 1 * 1$ -

$6 * +$ $ 0 9 @$ $ $ +

4 * )( 1 5<E $ 4 + $2 )

0 ) 5 $ $ * $ 2$*

1$ $ $ $*E 1$ $* :6

) $)2 9 $) < $ 1$6 1 ) / $*

$: 6 $1 6 D ' ) +$ 1 6

* $ /$ $ D ' * - $ /$* 9 $ $ 1 1-$ F $ $ 2 @$ a b $ xF (x) +$ $

+$ F (a) & F (b)< 1 + 1 D ' *

+$ $6 * ( ) - 1 9 -

) < * +$ $) + 1 $ $

:6 $ )( 2 ) $6 Y 1-

$ +$ A $ ' 0 ' * ) ) $)2 @ 1 @$2 * ) $ +$ $6 $ $ )

$ -6 $ $ )$6 $ $ * +$ +

A ) 1 1$6 @$ * ) 2 1 1$ $ $

$ $ $)

A 1 ' * 1 + 1 +$ $* (

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

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

3 * 1 $ / $6$ $*!

43 1 * ) $ $ $ 1 1 * ) 1 /- * 1 * ) $ 1$*5 91 + $

H > <

CD 1 1 * ) B 1$ $6 1$ $ +$ ABCD 1 6 ) $ 1 * * F G + 1 1 * (

1 6 )2 1 * )2 9 CD< ) ) 1 1 * (

9 AB< $ +$ ( $+ F 1 * ( AB ) ) 1 )

+ )2 1 1 * F E F G +$

$ 1 $ $6$ $* 9- 1 ' < 4Y 1 * ) F E F G 1$* 1 * ) AB CD

1 1 * ) $ AB CD $ 1$* 5 @$ -

$6$ $ $! $ 1 $)( 1 * ) $+ 1 + * F E F G $6 $+

1 + * AB CD

6 $1 6 0$+ $! 4Y ' +

$* V $ $* U5 $ 1 $6$

>$6 ' + n $* V $ $ )$6 1$

1 * + V $ ' + k B 1 6 6 = 3 · 2 + n 1$*$* $ 1 * + U

$ ' + 2k @$ +$ +$ n

$* U $ $6$ $ $ $ $ $ 1 * / ( * ' + n 1 $ -

* 4n $* V5 1$ $6 $* 4n $*

U5 1 $* )$6

+ k $ 1 V $ n

$ + l $ $ n 1 U H-$ $* 1 ! 4[$) 1 +$6 l 6 k 5

[$6 888 X$ (

[$ $* $' * $ 6 + +

$ $) 1 $ $ $ $! $'$6 1-

4`$ A 5 ( $+ * $ $ +-

$ $6 ) $ + 1$ 41$6 5$ A 1 + 1 1 * $ + *

>$ $1 6 $)2 1 ) / (

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

> +$ $* - + $ $6 @$ $ * *

D ' * A ¬A A 1 6 1 E 1

$ $ 1 ) 1 +$ $6 $ D- ' ( :6 $ + $6 A

¬A + * $6 1 A

1$6

$6 ) 1 1 $ $ 1 + 2

1 ' ( 2 *$ $+ @$ +$ / !

$ 0 )$ $ 0 M 1-

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

+ $ $6 1 @$ 0 ) 2 */ M

$ $ ) $ 0 $ +$ $6 -$ $ (

$ " * % " * # > &

" " M " ? " & 5*4 / % 0 # 6 & * * " M " "

# # & " " & " # $" % *

# # & " & " * * / 0

" * # $%

* 45" "9

, $" & " * 8B# D M " " ; @ "@ * & # > " & " " O4 2""

" " " " "

" * #

, $" & " * NB# D M " " @& @ * " " # > " " & " "

O4 2"" " " % "

"; #

, $" & " * 83# D M " " @ " " @ * # > " & " " " O4 2""

" " " * "

" " #

, $" & " * N6# D M " " ; @ " → @ * # > " * " & "

2"" " " & & "

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

$% " & " " " " @ "→ " * " @ #

, $" & " * N)# D M " " ; @ " ¬ @ * # $% " /E "

@ ; 5" M " @

" * " 0 & " " " *

? " " & "9 * @ " ¬

* + " " " " ",#

, A " * " & " & "

* 3 9 % M " " @ 4 "

*#

, E " & " & " * D8 @ ; "

M " " " & " #

C " & * " " M & 5*4 / ;%

0 + & " ; G " & 5 ,#

T % M ? ;

" * # E " & " % & # # / " % 0

& " " " ; & " + & " ; G ,

@ 5 & " & & 5*4 % & " " @ 5"; & " % "; @ " & "

% " * ; M "

; " M + @ → & " G,# A 4

4 " * / % 0 "

5 4 & @ " * " #

E " / ;% 0 / " % 0 & "

& " " 4 " "9

, & " * 86 + & " ; " ,# D / "

% 0 " + " , @ 45 %

" " ; " * * *

; M # ) 4 & & 5 & " ""

" " ; @ ; 5"; M " "

" & " * " " # A %

" " " " & " 2" → "

;% #

", $" & " / " % 0 * 8) + & " ,# D / " % 0 " @ 45

% " " ; " * *

* ; M # ) 4 + # & 5 ,

" & ; @ " M " @ & " " " " @

& " * " ? " # $% "

@ ; 5" M & " " 4 " @

& " " " # A % " " *

@ " M @ & # > & " % @ " " @ ¬ "

;% #

, $" & " / " % 0 * N3 + & " ,# D / " % 0 &" @ "

&" & # ) " ; / ; ";0 %

" " ; " * * * ;M ? % " " ;

" * * * ; M # $ & 5 4

& " "" " " ; @ ; 5"; M " " " " " " "

" & " * " " # *

& " "" & " * " " " "

" O4 2"" &" # +8 & "

M & * " * " * ? #,

3 * ;%

+ & " ; J K G K " & 5 , " *

" " & * " " ; ;

% ? ;% ; * @ #

Q " * ;%

" # #

+ 2 1 ' ( )$* , ,

) ) 1 ) 1 ) / ( ) $ $)

C $ $) $ $) ) )

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

( $)2 V 6$ 881 $ ) -

$ 41 *$* ( $' *5 ) 1 (- + +$ +$6 )$ + $ $

) 1 ( , 9 1 C< ) +$

$ 1 +$6 )$ ( > 1 2 $

6$ )$* $ $ $6

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

E 1 6 ) $ 2 )$6

$ $)( 2$ 1 *$* ( $' *

+ *$6 1 + * $6 $

/$ D$ $ ) ($ > -$ $ 1 $ $ +$ $* )

:6 $ $)( 1 D$ )

($E ( $' +$ $6 $ +$ 1-

$ $ /$ $ D$ $

1 *$6 $ $6 1$ $6 1 9 $ * 1$ 1 1 $ 1$* /$ D$E @$ $ $ ) $ $ $ 1 1$ ( $' * <

1 *$* ( $' *

$ $ / ! * $6 $ A

) 1 1$ +$ + * +$ $

$' 1)$* 1$ @$ 1$ 1$ $ )-

$ 1$1 )2 $*

B 4 B5 Y @$ 6 $ ) +$6 1 6 * 6

1 * $' * +$ 1$ $ +$ 1-

$ 4 +$ A 5 $ 1 1 *$* ( $' * $ +$ A $ B

$6$ $ 1$ + 1 1$

$+ $ $ $ > 1$ ) :6 1 $ 1$ $ 1$ )$* 41$6 5 $

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

D B A . : B ;

& /

'

[$6 888 X$ (

$6$ $*! 43 1 * ) $ $ $ 1 1-

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

$ $ 1 2$* $6 @$ 1 - $6$ 1 / * $6$ 1$ 4X-

1 A 5 $6 $6$ $ 1$E $

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

+$ 4A 5 4 *5 1 * $ 9$ $1 2 $6$< [$ $6 $ ($

1 ) 1 )

X$ 1 + $6 +$ )2 + 2 - $ $ 4$6$ $ 1$5 *$ $2

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

1$ $ )$ + *2 )$* $'$6$ B 1 $6$ 1 : * ):$* +$ ( $+ 6 * 1$ 6: 1- 1 * ( $( 1 * (

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

+ * ) 1 6 * 1 1 1 ) : 2 * - : Z8 @ G $ ' ( H$VCV ( ( 0 , $ 9yR"qKO^ vTSJNTz VV <

1$6 @$2 1 1 * * $

$)2 ) 1 2 )2 1

* [$ 1$*$ ( @$ $ $ $6$ $ 1- $ 1 1$I

X / +$) )$ $+$ 3 !

¬ & ¬ ¬( )

¬( ) ¬ & ¬

¬ ¬ ¬( & )

+ ¬( & ) ¬ ¬

> ) $ )$ ) 1 1$!

X$6 )( ) @$2 ) 1 *$ 1 ) * ¬( & ) ¬ ¬ ) $ + *! ¬ ¬

2 1 1$+ 9$ 1$< 1$ &

$)( ) 9$6$ )$ 1 < ) $

1 + $1 6 @$ $ + ¬ *

$)2 2 + $ $6 +

) / 1$+ 1$ $ /- * 1$) ¬( & ) 9 *< 91$+ *< 1 *$

1$ 1$ $ $6 ¬ $ )$* ¬ ¬ + ¬ ) D ' ¬ ¬ + G 6 )( ) ) *$ $!

A$ 4$ +$ $5 3 $* $6 -$ $ $ $ $6 1 ( 4+$ $5 +$ +$

) 1$6 D ' & $ / )$ -

$ +$ ) 1$6 + >$ @$

/ 1 + + 1 4 * +$

[$6 888 X$ (

+ 6: 2 1$ $6 ) 2 1$)2 + 5 + 1 4X /$ $ +$ + 6: 2

$ 6 * 1$ $6 ) 2 1$)2 + 5 >-

@$ $* 1$ 6 2 ( : *

2 1 1 * $ $ W (-

=$ 6 2 2 1 $* 1$ $ 0-

* 1$* > 6 1

6 ¬ D ' * & 1$* + ) -

1 + ) ) $6$

$ $6 : + $ 1 ( $ $*

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

X / :$6 )$( $+$ ) 6-

$* 11) 888 !

¬ →

+ → ¬

+ ¬( & ¬ ) →

→ ¬( & ¬ )

→ ¬ → ¬ 9 $1 ' <

+ ¬ → ¬ → 9$)( $1 ' <

3 6 ) * @$2 1 ) )1 )$6E - + * * 1 $) $ 2 1$ $6 1 V

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

1 A< @$ $6 + 1 1 * +$6 + ) )$* (

( 1$ ¬ E 1 6 * 1 AB 1

$ $+ ¬( & ¬ ) )$ E 1 * 1$ ¬

) & ¬ +$ $ 1$+ E 1 @$ ¬( & ¬ )

¬¬ )$6 1 C $6 1 - 1$ 1 $ $+ )$ ¬ → ¬ @$

$6 1 * 1$ 1$ $+$ $ ¬ → ¬

)$* ¬¬ E $ 1 6 * 6 1 *$* ( $ -

' * 1 ' 1 + )$6 1

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

1$6 1 ) $6 + Y ) 1

+ + 1 4aA b a *b 1 *