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

$ ' ( $) * +$ , ( -

$ $ $ $ / $ 0-

1 2 3 2 1 + * / -

$ 4$' 5 $ $ $6 $ $ $$6 787 $ $* $ - ' + )$ *$6 * 9 6: ( $ $)2 $' 2 $2 ) * */ ( $ + )

+$< * 1 )( * * 1 +$6 $ - 0 + 0 6$ $ ) + +$ ' == $ -$* $ +$ $6 $ ) >?@$ * +

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

1 1 : + * ) (

@$ 1 ( 1$ $

9 * ) 1$< ) $ $( $

+ @$ + 1 * 9 + * 1$ -

1$ $ - $ $ )( *2

1 6 )2 $)2 $*2 *<

' 1 + * 1 +$ +$

2$ $ $*! 1 $ -

( * ( $ 2 $* 9 +$* $ $( $ 1$* / ( : *

1$6 )( :6 $+ ( $< A - / + * +$6 $

$6$ 0 ' + * $ $ )-

$ 1 ) / 6 )( 1 ' $

*

1$ * + ) ! $ $) 9$+ $ 2 $

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

1$ ) $ 1)$ 1 +

1 * 1 1$6 + + * ) 1- $6 1 */ $ $: * B

) 1$ * $ I 3 * @$ $6

1 ! 1$ 1 + )2 (

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

$* 4 +$ 5! +$) $ $6 6$ $ *

)$6 -$ $ 4$) 5 * ($2 $ 9A 6 1 : / - 1$6 4 2 $)25 ( * )$* $

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

+ 6 $* + + ( : 4+$( 5 JKLMNK OKPK 1$ ( ( < 3 1 ) D$

* ) 1 2 2-$ 1$ $*/ 2 *

$ +$ ) 9> @$ 1 ($ +6

+$ $( +$ <

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

$ 1 *$* 4 +$ 5 + 6 +$ A 1 @$ + $ $ $6 $+$ E

$ *$ +$ 4 *5 B + + * 1$6 -

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

9$ $ $ 1 2 */ ( $ $ RSJMT?O 4$6

$5 $ $ $1 + $ 4 5! + 1$6

$ $* +$ -$ 4$) 5

4 *$5 <

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

( ) 1 ) 1 -$ +$ - 6* )$ ( $' $ A >$+ )

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

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

A 1 $ $( 1 ) -$2 ) $ : > @$ * 6 1 + - $6 1$6 > ) $6 1 U

(+ $ $+ $ $6 +$ * 1$* +$ 1$ * , : * 1 $ $+ +

) 1 + ) * 1 +$6 : 9

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

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

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

1 2$ 4 $5 )$*

E 1 @$ ) $ $6 1 1$

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

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

/$ * 1 ( $ $ $

+: ( 1 *$

$) 1$* $ $6 6 *

$* E ) + * -$ $ +$ -$

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

! $ $) 0 2

1 : $6 @$2 4 / 25 6: +$6 2 > @$ $ ( $

1$ ( $* )$*

> 6 $6 $( *$6-$ + $ $* $) $

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

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

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

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

$ $* $ $ * 0 (

$+ 1 * $* ( $ - ( 9* ) < ( $ 0 ' * )

( ) *

+,

- *

$ $ &. "

/ ' 0 "

/

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

0$6 ) $+ 1 *$* $)

+ $ + W -

( * ) * $+ ( $

A ( $ $ 6 $ + (

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

W 1 $) *+$ @ - $ Q 1 $2 ( 2 + 2 )$(

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

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

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

6$ $ $* 1 1 1$ $ $ 1$6 $ + $ H$ $* 9 U U @ < $)( $6

) $ * $6

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

)2 $ + + H$ $

( 1 *$(

1 ) ): @$ 7Z88 $ $ 9

K < 1- $*/ * @1 2 $ + 6 -

787 $ $* $) $ $ $ 1 6-$6 * + + * * 1$)2 + 2 1- ' ( $ $ $/ 2 4 5 4 5 4 5 $' - + 1 6 ) $ $ + + * 0-$+ 2 ($( $ $6 1$*$6 $)

+ $ $ $+ 2 $: ( B

4 5 $( 6

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

+ $' * 4$ $*5

!

1 & 234/245 ' 6

&

7' ! & "

) 898 ' : ; & " / '

&- ´ <

) ´ / : ; '

- "

$ $

+ 2 $E $ $ ( / 6 $ $ 0$ +: $6$ 1$ $$* $ - ) )2 4$5 $ $ $ $) / 1 2$- * $ $6 * : 2$* / 8Z @ + (: (

4$(5 >$ +$ 2 H ! 43 ($ / ( $5 93$ $6 @$ 1 * 1$* $ $ $: >$ $ $ -

< $ $ ) : 4$* 5 1

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

$6 +$ $/ ( $ [ $6-

4' 6 1 )5 +$6 E 1 @$ 2$* + + + /$ $ )$6 ) 1

$ ($ $6 $6 $ 2 91 $ * $* 0 2 1 @$ $

($ $ <

) +$ 1 $ + -

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

* * @$ $ * +

$ : E @$ : 6 +$6 ( $1 -

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

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

* > @$ $ $* /$ 2-

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

1 + $ + 1 6

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

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

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

* + 6: 1 6 4 D$)5 $ - ) $ $ 1$*$ ( $ $)

$' A )( $ 1 *$ $6 * *

$ $)2 2 1 1 2 1

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

+ *

= -

$ 0

A * $ ( )* $) 1$)

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

$ $ 1$+ * + $ $6

$ $+ *

> + 1$1$6 2 $ 1 *$6

) 1$*$* 6 4 5$ 9$ $ $/ + $ < -

$ + *! +$ $ 1 1-

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

$ ) * *$* $ +$ $ +$ -$ 1 /$ 9 1 $*$* 1 /$ * 1- / * $ $6 2 $)E 2 * @ 1 /$ + )( $6 < , + $ $ $ +$ 4$ -$) 5 ) 1 ' 1 $ )$6 : ) :

/ 2 1 +$ ( -

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

*I 1 ! 6 $6

+ + 1 * : * @$2 1 2 *$

6 +$E +$ $* * : $ $ $

: +$ *

! "

- "

<

[$6 8 >$(: ) 1 *$*

> + ) ): +$) 9 2 +$ )$ 4 )

+ 5< + + 1)$ 2 (

$) $*$6 1 6 E @$ $6 ) 1$) + ) 9 ) \< $ A2 $ $+ * 1 6$ *

2 ! $ 2$* ) @$2

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

$ $ $ +$ -

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

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

$ +$) ) 6 6 1 +-$

2 ) 9X 41$5 ) $* 6 $+ *E

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

"

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

#

) * " & " * +" , " %

" # . " % /$ " 0# 1

" 2 3 45" 6 & ""

" " & # ) 2

& " 2 " % " "# 8 " 9 /: 2

& " 20# ) ; * & " 2

6 & "" " ; ;=

" % " & * * % " & " " " * " 9 /> " 2 " & " 2 " "

" " " " & ; 4 * " & % " ? " " 4 "0# $&

; @ * #

$" " " *

" *" A# 6# "2 /B " * C "40

&" " " " " A# D " * / " &

" "" " ? & " & "0 " /& "

" ? % & & "0#

& " " " " * * "

& & " " ""#

D " * & / " 0 / " " 0 5 & "

# /3 " " 0

& 5 ; " "; " " ";

" # A % * "4 ? ""

9 " / " " 0 "

/ # # # " "; & "