Введение в современную логику - Гладкий А.В
..pdf! " "
" "
X : *2 1 2$* $ $6 *
: $6 2 6: $! ) -
U 1 ' + + 1 * $ $ /$ :$ + : *2 2 1 * +$ $ : ) 1 2! $ $ $ 1$1 )
* $ 1$+ * *2 1 ( (
2 $6 : A )$ +$ 1 / $ - */ ( * $6 * 1 ) ( ' ( 1$ :
$ 6 + 0$) 9 6 4$ - 5 4 ')5< 1 @$ $ ) :
*2 $ )$6 1 9 + " 6
4$ $ $5< $+ $ 0 - ) : *2 )$ 9 + #
6 4 + 5<
> ( $' 2 $ $* $)
1$) $1) 4 + 2 : 5 1 $) 1$* 1 : *2 ) $ $ -
* $' (: 2 2
< : 91- $) #4&'")!#' &6N#< $ +$)( + (
: * $ $ $*/ ( $ +$ )$* $$ $ 2 $6 :
1 2 -$ *
B 1 + )( 1 ! $6 1 ' $ $
+$) )$6 +$ 1 )( ($ $6 : 1-$1 $ *$ $ $ @$ 1$1 1$6 * /$ 1$*$ +
3 8! $)2 + 2 : 2
: : ( B )$ + /
@$ $* +$ @ ' 6 ($
+ + $ $6 $2 /
$' * + 6 +$ 1$ 1 ) 1 -
$) 1$
< : 0 - 93 !#!#' 3"#&6#3##< +$)( + ( - : * $ $+ * $*/ ( $ +$ $ -
$ )$* 1 6 9* ) * ) <
$* $ / $* $6$
X @$( : ( ) $* 1 $2 + *2
2$6 * $ :$6 * 1$+ 6
$ 1 1 * -$ /-$/ 2 $ 1$+ 2 )$* 4 1$+$5 $ @$ 1 + + $2 - $ +$ $* 1 / K 1 + -$*$ $ $* 1 + )( > ) +$ -
)$* 1$+ $* 1 2$*$+$6 * 1 2 / * + *2 1 0 0$ $ $ $) ' 1
U< D 96#"6$ $5 #& ( %'&5!")&('< ,
96#"6$ $5 O#!#'5$5< +$)( + ( 1 2 / * *!
$ $ )$* * ) * ) 1 6-
$* 1 $ 2
1 6$6 * $ ) $ $ 2$*$ $6 > $ $6 + ) 1 1)$ $6 1*$)(
1$ $ Y 1 1 :* $ $ $ 1-
$)$* A W + 9 C V< * 9v?NzKR ~KS?P
V < ( $ $6$ 1$ - +$ $ * +$ $6 @$ >*$) 1$ $ Y )$* $ $ * ) -$ )$6 0 / ! Y $2
$2 )2 * 1 * ) 1 1 + 2 $ $6 ( ( $ $ / ( 6: 180◦ $ @$ 1 *-
) 1T$* 1$ 1 $ $ $ / ( 9$
$6 +$ @$ 6 $ 1$ + $+
/ 1 * ( ( 1 * ( 1 6 ( ( <
$ 2 )2 $( $)2 )$* 1$ -
$ 4 + 25 Y 9 1$ < )- * ) + ) + $6 ) 2 )
3 8! $)2 + 2 : 2 |
U |
$* $ 1 ) V 1 ( 4 + 25 - )$* 1 / > @$ $ $ $ $ -
$6 * 1 ! 6 * +$6 + 2 )2$( $ $6 $6 1 * 6 $6 ) 1$ $)
)I Q ) 1 $6$ 1*- $ 1$ $ 2 1 K *
! ) 6 +$ * )2 * )2 1 ) $- * $ $ $* $6 1 6 * $
1*$ 1$ $ 9 1 > 9$ < 1- * $6$ 1 / +$ $* -
* 1 / * 1 * ) $6 + * + E 1-$ )* 6 +$ @$ 1 / 6 1*$ 1 "$ - $<
< > $' + : $*$ $ )"4$% &!$% )( N'%#& % 9 ( 1 4$ + 5 1$*$*
< 2$* @$ 6 1$* : $ 1 /$
+ ( 1 2 + ( 2$ X$ $ $ +$
$ $ $ $* )
- + $ $* $6 $ * + )2 +$2 @$ + 6$ $ $ $
$ $*$ D$ $6 $ $* D$)
9$ 1 2$ $ :$* @ ' 1 $ + + 1$6 $*
$6 ) ) $)2 0$ 1$ +$ @$ ) ) ) ) 1 *$) <
$" * "2" " " " " " " dbZ`l[Y_`l da emlXY[l / " 0 * " "
" * & & 2""
& " " " ? " / 4 4 " " 0 ? & " "
&" ; & * 45"; " " ; +" "
* " &" ,# ) O % " "
; ; " "@" 2" " ";
" " " " & " " ; " + #
& G # G,# 6 " " * % ; " "2"
" " & *4 5 "#
< : + : )
)$6 $) : 1 1 *$( ) 1 * $6
( 2 $ $ $ $6 4 5 946#"6$ $5 #& ( 2# &('5< X$ $ $ +$ $ 1 *$ 1 *$* 1 6 2 1 *$( 1 $ -
3 8! $)2 + 2 : 2
)2 +$ $ $ 1 *$ $ $ 1$6 9$ +$ *$6 1$E )$* 1-
$ 1 ( * ' 1 + 1 ( <
1 4X$ @ ' 1 + 5 9 ! X$ - * @ ' 1 * C < 1 *$ 4 ) 5 1 *$* 41 2$ 1 ) $* 9 + * < 1 1 5 1 *- $ 41 ) 5 4 ) ) 90 < $ $* ) + 5
3 $) 1 ) +$ $6 ($ /
) & "" " * 45"
; ; / "" 0 " # D * & & " & " ? & * " 2 *4 " * "; & " * & " # A &
" * & " & " " "" +" *
,#
3 & " & " * " " /
0 # 6# ) +:#9 % 2" & " G,# +8 ;
* " * " 45";
" & " " * 45 " 45
"4#,
# 8 8E D6 ? & " " " * " 4 " *#
G# 8 8)3 ? 4 " #
J# QABI SE>6E ? " 45 " " *#
K# QABI S6D ? * #
# CA NV3E>6E ? 4 " " ; "
" & * @ #
# N:)QABI SE>6E ? 4 " " "; " * " #
8 " " * % "; " " " * 5 ; 9
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
1 |
|
|
2 |
|
3 |
4 |
|
5 |
6 |
|
||||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 8! $)2 + 2 : 2 |
|
8 " % + # 6# ) ># #
D * :#9 A O q_a G, "
8 8E D6 " 9 / 4 " * & " " " *
" 0# $" " "" ? & & " *
? ; * " " / "0 4 #
! " "
Y/ $ +$ * $ $( $+
* : 1 6 ) $ $ 1$61$+ * B * 1 *$ )$6
A$ * ' 787 $ $* 1-
* $ $ $ )* 6 +$ 1 )
) $ $ $ X (+ ) $* $)2
2
< X )( $)( )( $)( + 2 1
> 1 @$ -1 '$ 1 9 < : 1 1 $ Z8 @ 1- 1 )$* + 4 $* ')5 B ) )$2 $* +$ $ 1$ +$ *$
+$ $ * > 6 $ / $*/ 1$ - + *! +$ $6 +$ ' $ 1 $ )
): $ $* +$ $* ') +$6$ $6 +$ @$ ) ) 1 6 )
) $ @$ + ) +$ * ) ) *
$* $ + 9 1$+ 6
1$ $6 1 1 $ $ ) ) *
1 1 $< $6 @$ $' $ +$) 1 + * $*/ ( 1 ! $ / 8Z
@ 0 0 ( : ) 9%& %< $ -
$! 4> $ * (+ 1 : 5
$ $ $ @$ 1 * $ +$
D ) : ; & / : " ) ;' "
) ) o
' ,' & / : ;'
3 88! + 2 1 2 |
|
$ +$ $ $ $ $6 |
1 |
' |
|
< : D $ ) 1 *$ /-$ $ 1 * / $6 1 6 ) $ 1 4 +$5 @$ 2 1 $ @$ $* * - + )2 $ 9 1 $ ' 6 )2 + $ $ /$6 $ $6 )2 + $ ($ $6 )2 + 6: X $ U < Y
$ A $6 1$ $ B $ /$6 A 6:
/$ B )2 +$6 )2 $ $ $
* $ $ $ $ +$ * 1 6 -$ /$6 $ 2 1$ 6: /$
>$6 $1 6 M $ 2 $ M $ 2
1$ M B /$6 M 6: /$ M * 1$ M $ $6 $ $ +$ M $6 1$-M $6 /$6 M 6: /$ M
U< : ; 9vTOJOKS^ jOJqMO pRNNRK] yMPPTNN C <
$ / * *$* -$) @$ 91 $ 2 $< >$6 R
$ 2 / 2 $ B |
R - |
/ $ @$ +$ +$ R R $ R 1 |
|
1 $ $ / 2 $ $ R |
- |
/ E R / $ @$ +$ +$ R / R $ R 1 1 $ /
$ $ R /
$ $ 1 0$6 + 1 6 * 6 $ 1 *$* $ 1 *$ ($ $) ($ 1-
) $: 2 * 94$ (5<! 1
($ 4 )$6 $ $) 5 $ $ $ ($ 4 / 5 ) * $+ $ ): 91$6 +$ $6 $ @$ \< $ $6 +$ ($ 4 )$6
/ 5 $ )$6 / -
/
< : F 9o o vTOOz< $) +$*
* ) $ * $)2 $6 )2 + 9 1 + U $6 1 /6 +$( 4+ - ' 6: + 6: '$5 4 6: 1$ + 6: '$5 $ 1 < + + $6 )2 +
3 88! + 2 1 2
$) $6 1 /6 +$( / 2
V + > @$ +$ 4 6: $6
+ $ 6 * $6 1 /6 +$* * )-
/ :$*$ 5 )$ $ $ -
6 + @$ +$ $ 1*$6 *$
\
< : ; / 9~MNTP yR"qKO^ V C V< $) - +$* * ) $ 1 * 0 ' ( $6
$ 1 / 2 $6 ) + * 9 1 4
$( + 5 4+ ' 6: +
6: + + 5 $ 1 < $ +$*
$6 $6 ) + 1 2 $ 1-
$ *2 1 1 $ +$ $
$* 1 ) $ $ $* $)
$ G ' 1 * +$ / n
+$6 fn ,$ $1 6 +$ 4+ - ' 6: + * 0 ' 1 * ( +$ -
$ $ + 1 + $
+ 5 $ +$ 1 *$ $ 0 '$6 $ $6 ) + * $6
1 +$6 $)( n0 > 1 0 ' fn0
fn0 (n) = fn(n) + 1 * n $ $ +$ $ +$ fn0 (n0) = fn0 (n0) + 1
$ $6 +$ 1 *$* $)2 $ +6 $ - )2 1 2 $ / +$! 1 *$* * )
* ) 1 2 1 * )2 1 *$( X 1 * 1 */ 1 ' * *$* $
$( $ $ 2 $ $ $ @-
$ $)2 $* +$ $ $ $ $
) / $ +$ $
$ + / 1 0$+ $ +6
$ / @$ + +$ @$ G ' * 0-
/ * 1 , : 1 *$* + $ 2
0 ' ( $6 $ $6 ) + *
@$ $ * *$* @$ 0 ' * B
2 1*$ + *2 $* 1 9 3 8<$ $ 1 1$6 +$ @$( $ $6 *
1
' 787 $ $* ) ) 1 ) $
3 88! + 2 1 2 C
$ $ $ 1 $ $) 1 * ) +$ $+$6 4 ) 5 1 ) * $ $+-
2 1 *$( 1 ) $ $+ 2 ( $ 4 )25 > @$ $)$ $ $ - $)2 1 ) 1- *$ $ $ $*/ ( 1 -
$6 $ $ $ +$: ( * $(: (
> $)2 $ $+ 2 ' 1 2 $2
0$ $* 00 ' 6 + $ 1 )-
4@$+ 25 1 *$( 1 )2 0 / 1 2
) *$6 * +$ @$ ' 1 ) $* 1 (
+$) $6 @$ $6 ) $/$6 )(
+ 2 $ $+ ( + * 6 $ -$ 0 0) $ + 6 ) / * *
$6 + )2 ( 4 $) 5 $ $ 0 0
* $ $E ) + $ $ $ - $ $+ * 1 + : * $ ) )( / )( $
$ )$ 0 0 )2 ( -$*2 * + )2 1 1$*2 1 * )
+ ) 0 0 $ $ 1 * 6 ) 1 *
$ + 1$ $ 9 $6$ $+ (\< ( $ $ 1 1 *- $( $ ( ) 1 + * 6$ $ 1 6: (
+$ )2 $) 2$* 1 /
)2 1 2 ( $ $ 9 $ + 1 1- 2 + 1 < 1 +: +
6: 1$ $6 +$ + 6 * $6 1 /6 0 6 )2 $ $+ 2 $
$' + ) $ $)2 ) +
1 ) $)2 + *2 1 6$* $ $ * -
$6$ 91 1$< $ /$*
D$ $ ) ($ B )$* +$ $
$* $ ‹ * 1$ 0$ 9 ' 1- $ < 2 @$( ) 1$ 1 $
$6$E 1$ 1$( 1 $ $ - + * @$ $1 * * / * 1 1$
$6$ $ 1 2 1- + : 1 $6 2 $2 $6 $2 / 2
1 * $) $* 3 $6 * I
Y $ @$ $6 $ :$ 1 $ $6 $2 $
C 3 88! + 2 1 2
$* 1 / Y $ $ :$! $2 $
$* * $6 B )1$6 @$ $ 1
$ )$ 41 1 2 5 2$*
1 6 $ 9> 1)$ +$ - $6 *$ $ +$ 1$ 6 1 ) )2 ($ $6 $: 2 * )1 )2 1 *-
( <