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

1 $*$* 9 - : < 2 6 *

& 1 $) 1$* +$ 1 +$( 1 )$*

D ' * 2 (E $ @$2 6 91 < $*$- * $+ $ 9 V- : < 1 9 < 1 +$- * 9 - : < 4@$ 5 9 $) $ ( & ) & $( +$( & < 1 $) 1-

$* +$ 1 +$( 1 )$* 0 9B ) 1 41 )( 5 E 1 )

4$65 1 2$* $( 4 5 $ <

>$ 1 )( ): 1 + 6 1 - $ $6 +$ $)2 2 +6 $ 1$ $ +$ 2- $ 0 +$ -$ ) $)2 $ +$ 2-$ 0 +$ -$ ) +$ $ $ *-$ *

)$6 > 1 $1 ) )$6 ,

1 $ $1 , ` ) * *$* 1 `3 A $6 ) 1 )

1 )2 2 1 1 2 1 6 6 $6 - ) 1 (+ ) ( * ) 3 * + $I

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

, - $) 1$ $*$* ) $*$ * > $ $6 $6$ + ! $-

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

+ ( $ $ + ) ) 6: -

* @$2 1 / *2 B 1 2$ 1 $6$ 1-

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

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

$* ) 1 +$ 1 ) $

@$ 1 / * ) + $ $* 1- / $ $ 1 * 1 )$* :

) 1 > 1 @$2 1 $ - *$* $ 1 / 1 / * 9G * 1 )

+ $* ) 1 / * + 1 `3 +1 2 A < ) 1 / * @$ $ 0 )$) * *$* $6* > @$ $ 1 / *

D .D

@

D &

3' , & V' ,

B * $6$! 1 1 ' 6 ) 1 CU

1$*$6 4 ) 5 4 * 5 $E 6 (:

$ +$ 4 * 5 $+ )(

> 4 5 6: 6: 2 $) $6* @$2

6: 2 6 $ 4 *$65E $ $6* $) 4 *$5

' $ $ 2 )2 1 ) ) $ $ -$ M $ $ $ $ )$ M -

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

$6*E $ ) 1 + ) 1$ $ + *

6 $ ( 0 (

6 (: ) 1$6 /

)+ $6* * / ' ) )$6

, $ $ $/

>$ $1 6 1 )2 1 1 2 > @$ ) +$6 * : $6* $)

* 1$6 )2 2 : $ *

)( $ 9 1 + @$ *$6

) 1$6 <

9Q 6 1 *$* `3 1$) M <

→

9Q 6 1 *$* A 1$) M > + $ - )2 $6 E @$ +$ +$ 0 → <

¬¬

[¬ ] (2)

9Q 6 1 1 $ M $ $ ( 0 ) <

B * $6$! 1 1 ' 6 ) 1 C

→ ¬ → ¬

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

: $ 1 *$* A

G ¬ ) $ 0

M 1 6 $ 0 $ 1 1 B M, $ 1 1 $ +$ M ¬

+$ $ +$ M *$6 1$ $ $ +$ 0 ¬

" $ $6 * +$ 0 $ $6 $ ) 0 ) 1 ' * →

$ 91 1 A< → E ( $)

1 ' * → $ 0

) 0 ) → 1$ $ 9 -

/ )2 $6 < $ + ) 0 )

0 )

[$) +: 1 *$6 $ 6 ) +$6 * 2$* ) )2 + *2 $ $6 2 $*$6 > @$ 1 1 *$6 / 1$) *!

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

2 ( 0 & ) 1 *$* ` E 1

2 ( 0 ( & ) & $ 1 1 *$* $)E

6*2 1 2 ) 0 1 *$* `A

6*2 1 U C ` 6*2 1 U `3

6*2 1 `A ` 1 ` `3 B $ 0 * * / * * 1 D- ' ( 1 +$* 1$+ )2 : ) $*

0 1 *$* +$ 1$+ 1 / *! @$ D-

' 1$* 1$ $6 B $ $

CV [$6 888 X$ (

1 9 *$* D ' * & < 1 U 9 - *$* D ' * <

- $)2 0 $* )$6 1$*-$ ( D ' $ 1 +$6 ) )

1 /6 1 * D ' + * $6 )2 1 1 ' 6 )2 * B 6*2 1 4

B * ( 4+$+ )2 6 5 9 2$* ) 1

: 1 *$* : 3<

-$ $6 2 ) 2$ +$ )$ D ' 1 /6 1 `3 ) ) + )$ @$ +$6$ 9 1 ) U<

-+$ $)2 0 $ )$ $ 4- 5 2 */ $ 2 )2 1 ) $ 6 *$ +$ 1$* 1$6 3X 9 + @$ 4 5 2- *$* $ D ' +$ ) $6 1 6$6 * 1 3< B $ $ 1 2 U B $ $*

* 4+$+ )2 6 5 9 1 < A 1 + 1 )2 + *2 $ $ 1 B 9 1 <

> 6 * 6 @$ * 1)$ $6 * $6 6*

) 2 2 1 1 $

1

B 1 6 +$ $ $* 1 + 1$6 +$ -

$6 91$ 6 < / )$! 9 < & E

9 < & , & & E 9U< , , ¬( & ) → E

9 < , , ¬ , & → E 9 < , , ¬ , → E 9V< & ( & ) ( & ) & E 9 < → , → → E

9 < → ( → ) → ( → )E 9C< → ( → ) & → E 9 < & → → ( → )E 9 < 1 → 1, 2 → 2

9 < ( ) ( ) E

9 U< → , → ¬ ¬ E

9 < ( → ) & ( → ) → E 9 < ( ) & ( → )

B * $6$! 1 1 ' 6 ) 1 C

$* $1 6 $6 ) $)2

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

( /$ $ 41 *5 @$ 1-

: + 1$ $* ) 1 1 + ) ): 91$ U< ) *$* )2 1 > @$ 2 )$ , X 1 )2 1 $6 + 6 1$) 1$* / * + )

* * $) 1 1 : /

1$*$6 + ) D ' D '

) $ 0 6 1 $2 )2 1-

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

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

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

$ $ + $ $ $6

)$6 1 @$ 1 $ $' (

1 ]?^MP J?NNTSP 94$'$6 )( 1 5<!

$ 1 $ $ + * $

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

0 $ * *$* ) +$ 1 6- ) 1 ! )$6 9 < )$ $ ) 41 $ $ $ 1 ' 5 9 < 41 1$ 1 ) 5 9C< 41 * 1 ) 5 9 < 41 D *

1 ) 5

+ ) ( * 1 * 1 *$* )$ ( 0 ) ( $) + : *

V 1 *$* 6$ $ $ $( 0- ) (

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

+$ +$ $ 1 @$ $ $6 $ )$6 -

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

$6 +$ + 1 *$ $ 1$ 1- *$ $ $( $ $ A @$ ($ $6 $! 0

1 ( + $ $ ) $ -

$6 $ $ $ $ $ $

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

A $) 1$ )$ $ +$ $ +$ $

+ ! $ /$ $6 $( 0-

) +$) $' ) ) @$ +

$ + 0 $' ) ) $ $ $) @$ +

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

6$ / 1 ! 0 ) )$*

8 , * 2 ) - ( 3$ @$) * *$* 1 0 ) &

& 9 1 E * +$ 1 0 )$

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

+ , 0 )< 91 < ( & ) &

*< 2 @$2 1 2 2 */ 2 0 ) 6 )

B $ $ / + ! 0 ) 1 (

$ @$) + $ $ ) $

$6 $ 6 )

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

V )$ +$6 1 ( $ 3 *

2 6$( ) / 2 $ $ $6 D '

D ' ) @$ * 6$( ) / 2

'$ $6 $2 1 ' ( $ @$

$* + > / ) ) $+ / $ $ -

$ D ' 1 $: D ' !

& ( ) & &

& & & ( )

6 ) *

M

M

&

$ 7 '

) $ )$6 )

1 ) +$ 1 )2 1*$ )2 6$( 11) 8 9 1$ U ) V< 3 * $6 )2 $2 6$( @$( 11)

+$ $6 $ 1 1$6 1$ $6 $ $ $/ ) )

9 * 87 88 @$ 1$ * 86 $2 + 6 1- ' 1 6 )2 $ $( 6 $< $ 1$ $6 $ ) )

* 6$( 11) 8Z 9 1$ ) VE ) R F

$6 1 @$ ¬ < * 1$* )

$+ / 2 6$* 11 88 888 * + )

1 ' 1 6 ) $ $ $)2 ) $*

/ (

, -. .

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

$+ * $+ / ( * $ $( $( ) $ 2

2 V ! $ ) $6 $6 2$ -$ $ $ + * 1 * $ $ $)2

+ ( +$( $1 6 $ $)( 1 !

) 1 1 +$ $ 1 $

$6 * +$ @$ ($ $6 $I A + * ) *

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

) 1 6 2 V )$ )+

, , + 1 * *$* $2

+ *2 2 ) 41$) 1 *5 1 )$ + )

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

+ $ )$6 1 $ $ )$6 1$* ' )2 $'$6 )2 + 2 a + b = c a · b = c

a b c , 92 + 3 = 5 2 · 2 = 4 1 + 0 = 1 $ 1 <

$)2 $+ 2 0 + 2 $+ 2 0$2

[$6 888 X$ (

94$* ) *$ * C 5 4 1$ 1 (-

5 4W 1$ Q 5<

D* + * + $ $) 1-

+ 2 1 ' ( +$6 1 ' 1$ -

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

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

6 $6 * +$ $ M $* @$ - / ( ($ F 1 + $ $* +$) $( @$ ) *

+ * ) * ) $6 1$ 1 @- $ / ) ($ > $ $ 1 1$ 1 xF (x) +$ $* ) :6 $

+ ) $6 $ M @$ / (

($ F

6 1 $ 4aX 1 A b * *$* 1 ) 1 *$ ( $ $)5 9 1

7Z888 +$ $) $< 6 +-

/ $! 4X /$ 1 aX-

1 A b5 9X ) 4 5 * : ( ' $+ *$6

*$6 < / * $6$ @$ $*

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

$6$ ) ) $6 2 ( 1

3 ( 1 ! / 2 ($ + $+ / 2

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

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

@00 '$ $ 2$* ) ($ $6 )( 6E

+$ $ @$ * * 4x5 − x4 + 7x3 − 5x2 − 3x − 2 = 0$ $6$ /$* * *

0 & '

: ;

: ; :o / T ;

$ D

*

$ : ;

$B

D : ; "

*

: F ; F "

: ;

) & '