Введение в современную логику - Гладкий А.В
..pdf
$ $: * |
U |
1$+$ ): 1 +$! $ A B
$ )$6 1$ $6 @$ $ A
* * / * @$ $ B 1 A = $ @$
$<
3 * )2 $ A B $6 ) $
) ) 2 D 1 + $6 /
!
9 + $ A B 9 $ A $ B<
)$* $ $*/ 2 @$ A 2 @- $ B D A B +$* A B
: $ A B 9 $ A $ B<
)$* $ $*/ 2 @$ A $) * *-$* $ @$ B 9A $ 41 + 5 *$ 4 - 5 < > + A B +$* A ∩ B
; $ A $ B )$* -
$ $*/ $2 @$ A $) * *$* @$ -B ,$6 A B +$* A \ B
1 * D * 1 + * $ $
1$ $6 / $ $ A B ) ) 1 * 6 !
A B
|
|
A \ B |
|
|
A ∩ B |
B \ A |
|
|
||
|
|
|
|
|
|
|||||
|
|
A |
|
|
|
B |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|||||||
! < >$6 A = {1, 2, 3, 4} B = {2, 3, 5} B
A B = {1, 2, 3, 4, 5} A ∩ B = {2, 3} A \ B = {1, 4} B \ A = {5} < >$6 X = {1, 3, 5, . . . } Y = {2, 4, 6, . . . }
B X Y = {1, 2, 3, . . . } X ∩ Y = X \ Y = X Y \ X = Y
U [$6 88 X$ 1 (
A 1 ( * +$ A B $ A B = B A ∩ B = A A \ B =
Y A ∩ B = *$ +$ A B @$ +
+ A \ B = A B \ A = B
$ +$ * $ A $ $ A = A A ∩ = A \ = A
" >$6 A = {1, 2, 3, . . . } B = {n | n ' n < 6} ($
A B A ∩ B A \ B B \ A
1 ' $ $*/ 1
$ A B 2 D * A B 1 + * A ∩ B $
)$* $ $ $ + 1 ' *
$*/ * 1 $ A B 2 $ A \ B
)$* ,
1 ' D * 1 + * )+$* $ -$ $) ) ($ 1 2 ($
0$+ 2 ($( +$ @$ ($!
8 A B = B A 9$ $ $6 D *<
88 A ∩ B = B ∩ A 9$ $ $6 1 + *<
$ ($ + ) $ 1 ( D-
* 1 + *
888 A (B C) = (A B) C 9 '$ $6 D *<
< > 1 D * * +$6 @$
91 1 1 < $ $6 $ $*/ 2
@$ $ A 2 @$ $ B C H 1 6 B C $6 $ $*/ 2 @$ B 2 @- $ C * +$6 : 1 1 $ $ $ $+-
$ 2 @$ A 2 @$ B 2 @$ C
: + ) 1$6 +$ 1 * +$6 $ $ $+$ $2 @$ 
8Z A ∩ (B ∩ C) = (A ∩ B) ∩ C 9 '$ $6 1 + *<
< > 1 1 + * * +$6 1 1-
$ $6 $ $*/ $2 @$ -
$ A $) * *$* $ @$ $ B ∩ C
! KGNNMLG / : ; : ;! ZSSGKQG / : ;
$ $: * |
UU |
H 1 6 B ∩ C $ $ $2 @$ B $) * *$* $
@$ C * +$6 : 1 1 $ $ $
$+$ $2 @$ $) 1$
$ $ A B C : + )
1$6 +$ 1 * +$6 $ $ $+$ $2
@$
* $ $ $ D * 1 + * )
1$*$6 + ) ) *2 A B A ∩ B -
* '$ $ 1$6 1 $ A (B C)
(A B) C 1$ A B C
Z A ∩ (B C) = (A ∩ B) (A ∩ C) 9$ $ $6 1 + * 1 $: D <
< + * $ $ +$6 1 1-
$ + M 1 + N [$) $6 @$
$ $ $+ $ $6 +$ M N N M
< 3 +$ M N >$6 x ME $ x A x B CE 1-
$: +$ +$ x B x C Y x B $ 1-
6 x A x A ∩ B $ x (A ∩ B) (A ∩ C) = N Y-x C $+ $ 1 + x A ∩ C $ 1*$6-$ x N < 3 +$ N M >$6 x NE $ x A ∩ B xA ∩ C 1 + x A x BE x B $ x B C +$ $ x A $ x A ∩ (B C) = M $ + -
+
3 ) ($ D * 1 + * : -
+ ) $) ($ * * + 1 + D $ $ $ $ 1 +
/ ($ $ 0$!
Z8 A (B ∩ C) = (A B) ∩ (A C) 9$ $ $6 D * 1 $: 1 + <
< + +$6 + M 1 +-
N
< 3 +$ M N >$6 x ME $ x A x B ∩ C1 + x A B x A C $ x N
$ + x B $ x A B x C $
x A CE x A B x A C $ x N
! OQSL[QHMG / : ;
U |
[$6 88 X$ 1 ( |
|
< 3$6$ $: * N M 1$*$* +$ $ |
Z88 A = (A \ B) (A ∩ B)
< )( @$ A 1$ B
1$ 1 + 1$ A ∩ B $ 1-
$ A \ B +$ 2 + *2 1$ 1 ( +$
B * +$6 $* 1 ( H 1 6
$ A \ B A ∩ B $* A 1 * +$6 $*
(
+ 6 +$ )$ +$ $ $* ) -
$ * * / * +$* $ $ U
$ $ $* $ U )$ @$ + , * 1 6 $ A -
/ * U $6 U \ A +$ + CA )$
A UE U * $ 9 )$ + /
< 4 U5 1$ 1 ' * $*/ *
1 $ A / * U 1 * 9 U< $
)$* 9 U<
) ($ 1 * 9 1 1 +$ $-
) $ $* U<!
8 CCA = A
< > 1 1 * $ CCA -$ $ $+$ $2 @$ U $) 1$ CA
1$ CA $+$ $ @$) U $) 1-$ A 
88 C(A B) = CA ∩ CB
< 3 1 D * A B @$ $
$*/ $+$ $2 @$ U $) 1$ AB + * 1$ CA $ CB @$
$ @$) $) 1$ 1 + CA CB
888 C(A ∩ B) = CA CB
< 3 1 1 + * A B @$ $
$*/ $+$ $2 @$ U $) 1$
A B + * 1$ 2$* )
$ CA CB @$ $ @$) $) 1$ D CA CB 
$ $: * |
U |
[$ $6 $ 1$ $6 @$ ($ 1 * *-
$6 $ $ 1 )( ): 9 +$*
$ 2 $+ 1$ 6 ) <
" 3$6 +$ C(A \ B) = CA B
$ $ 1 ( +$ 1 2$*
$6 , @$ $ -
$ $ 1 $)2 @$ +$ $* ,
( , 9 +$ + 1 )( $( @$) $
1$6 < 1 $) $+ 1$ @$ 1 *- + * 1 $( 1 ) @$ +$ $* ' $)
$ `1 * + 1 1 ) @$ a1 $) @-
$ a2 1 *$ +$6 (a1, a2) 1 (3, −1) 1 *- + * 1 1 )( @$ $( + U $( + −1E
(2, 2) 1 * + * 1 1 )( $( @$) $( -
)
* 1 * + 1 $ $* ,
. $ +$* + ! 1 * +- * n- 91 n 8< 1 )
@$ a1 $) @$ a2 n- @$ an 1 )$- * (a1, a2, . . . , an) 1 (2, 7, 6) 1 * + * $(
1 ) @$ $) @$ $ $6 @$ V
1 ( 1 * + ) $) 9+$ 2 )$ $ < 1 6$* $6 4 5 6:-
+$ )2 1$ 1 + ) 1$) - ) $6 ) 4 5 B $0 1$*$ (
1 * + n- @$ $ {0, 1, . . . , 9} 9+ n -
)2 2 <E 1 *$) $2 X 1 +$) ) $6 1 * + ) :$ @$ $ $ 9B +$ -
$0 1 +$) ) 1 :$* 1*$)2
+ /$<
1 2$* $6 $ 1 * + ) 1 $( $ $)2 ) @$) $* )2 -
$ 1 1 * + , $6 1 * + * $( 1 )( @$ $( 1$ $ + )2
$( $ $+$ $ $( $ 0 (
$6 )( +$ $6 *$ $ +$ )
1 * 1 * + ( $) $ 0$+
/ 1 * 1 *$
UV |
[$6 88 X$ 1 ( |
|
> $ $6 @$ 1$* 6 (: +$ |
$ $ $ k @$ $ 1 * + )2 1 @$ @$ $ $* $+$ k2 91 6 1 )( @$
)$6 k 1 * @$2 $( $
+$ $6 * $ + $( ) $ @- $< 1 * + )2 $ k3 91 6 * k2 $(
) 1 )2 2 @$ $ +$ $6 * k $* ) $ $6 < $
X / 1 *$ $) 1$ $ 1$6 *
/ ) @$ 1 *$ 1 * 1 *
1 2 $ $ * ) @$( $ $
$ $ * ) + / 2 + ) $ - : * * 6 + 1$
* 1$ $ 1 1 ( / 2 0 1- +$ +$ $ $: ! 7 / / =E
,/. E 7 ,E ?
E @ AE : @ , BE : / @
4C 95E D E <
$) @$2 )$ $: *
D$ ( 1 ) 9 1 ,<
) D$ 9 1 <
$ $ $ 1 2$* $6 $: *
@$ $ + )2 $ 1
0 E A l )$ $
$: @$ $ $+ 1$ $ @- $ $ 1 * )2 1$ $E 0 : l1 l2 )$ $: *
@$ $ 1 * )2 1$ $ Y 1 * * l1 1-
6 1 * ( l2 $6 +$ l1 l2 4 * )5 $: 1 6$ 4 2 *$*5 @$ $: 3 * 1 6-
$: * R $ *$! 4x y , $: R5 4x y 0 $: R5E + @$ 1 )$ $! xRy Q 6 R $ 1$*$6 ( + $: *! 4x 1 6 y5 4x 6: y5 $ 1 + ! x < y x = y $ 1
$ $ $* 1 )( * )2 $: R @$ $ $ + $ ) 1 : $ R )-
$* $: * R $ $
$ $: * |
U |
$* $( @$ , Y P Q |
$- |
$ $ $ $1 * 1 )$* $: * R 1 @$ x P y Q $ x y $ 2$6 * 2$6 * $: R * + 1 ! 4 2 *$* x y $: RI5
$6 ) 1 * $ ): $: * 4$ 5 $6 $1 * $ $ $+ -$6 1 )$* $ 1 * )2E * $: * 4 )$6 $5
$6 $1 * $ ( $6 1 )$* -$ 1 ( + +
Y $6 $1 * $6 1 )$* $: * 1$ $ ) $ $ M ) +$ $:
M > $ $6 $: 1-
6$ $ 1 * )2 $: < 94 6: 5<
$ ($ $6 )2 + $: = 94 5< $ $ ($ $6 )2 +
Y R $: $6 $1 * P $6 1 )- $* Q $ $ 1 * + )2 1 (x, y) $2 +$ xRy )-
$* 1 $: * R 1 0 $: * -
$ + @$ $ $2 1 * + )2 1 + $)2 1 )( $( @$) ) > 9 4 5< 1$ 0 $: * 4 )$6 $5 1 9
4 5< 1$
Y R $: $6 $1 * P $6 1 )- $* Q $ $ $2 @$ P $) * ) $: R
- @$ Q )$* $:- * R $ $2 @$ Q $) * ) $: R
- @$ P $: * R
A $6 1 * 1$ $6 $1 * -
$ + ( $6 1 )$* 1 * $)2
): $: ( 1 6$ 4$ 5 = < @$
$ > $ $6 $: 4 )$6 1 + ) 5!
$ ( +$6 |
1 + ) |
||
|
+ 6 |
|
|
3 ( 1 ! $ / $: |
) + |
||
( T $6 $1 * |
$ $ $ |
||
$6 1 )$* |
$ F |
||
0$! |
xT y +$ +$ |
x +$* |
|
+$* ( y 9 1 DT 9T < +$
$6 1 * $: * T $* +$6 $
U |
[$6 88 |
X$ 1 ( |
$ + ( |
$* +$6 F 9[$ $6 1$ |
|
1 ) 1 / 2 $ 1 * T
1 / 2 $ + ( T <
$: S )$ , * $: * R xSy $
$6 $ yRx $: $ * R +$ )+ R−1 + $6 $1 * $: * R * *$* * R−1 $6 1 )$* $6 1 )$* R $6 $1-
*E +$ $ R $ M $ R−1
$ $ B + $ $6 1 * $: *
R* *$* * R−1 $ + ( $ + (
R$6 1 * +$ $: R * *$*
+ 6 $) * R−1E 1 @$ *$ +$ $: * R R−1
,
> )! * $: * 4 6: 5 $ $: $6 4 6- : 5 * 4$6 5 41 2$6 + 5 91 : l
0 A +$ $ +$ E A l<
* 4 )$6 (5 |
4 )$6 5 9Y$6 $ $: * $) |
$) |
1 $ 1 6$6 $: |
4 )$6 $5 < |
|
" 9 < >$6 S / $: $6 $1- * {0, 1, . . . , 9} $6 1 )$* { , , . . . , }! xSy +$ +$
' 0 ) x +$* ) y )1$6 @- $) 0 S @$) $ + ( S
9 < >$6 T0 / $: $
0$! xT0y +$ +$ 9 * * / * $) $(< x $ 1$ 1 :$ $6 y 9 < )1$6 *$ @$ 0 $: * T0 9 < X 1$ $6 1-
* $: * T0 $6 $1 *I 9 < B$ 1 *
$ + ( $ 1 )$* 9 < X 1$ $: T0 $) I
9U< Y x $ $ * ) ) / $
$: $ ) / $ $: 9 $
/$ $< )$* x 9 1
/ /
< ($ ) ! . . . .
. / . . . . . .
. 9>$! :$6 $\<
! KGR\J[SQG / : ) ;
$ $: * |
UC |
$: )$* 1 , )( @$
$ 1 * * @$ $: $6 @-
$ $ + ( + * * x
$ /$ $6 y $ +$ x y * ) @$$: 91$* +$ x 1 )( @$ y $(<
G ' 6 $: )+ )$ 1$ 1 G ' 90 ' 6 $: < F $ $ 1$*$6
$)( 4 $ $ $*5 1 $ @-
$ a $ 1 * $: * F 4$ $* $ $ $5
$ 1 )( @$ $ + ( $ $ -$)( @$ b $)( * a $: F $ $ $ *
$ 1 aF b $ $ @$ b +$* F (a) 9+$ $* 4F $ a5< )$* @$ aE @$ $ 1 (
+ 6 )$* @$ b 9> $+ $
* )$6 $) < Y x y 1 ) 1-
/ $ $ $ $6 1 * $ + ( F $ x )$ y
Y a 1 6 + ( 1-
( $ 1 6 )( @$ $ 1 * 0 ' F $ $ $ $6 +$ $ $ $/ + b = F (a) -
( 1 ( $ a 91 4$ 1 F 5<E
@$ D* *$* * 4 * 1 *5 4- * 1 *5 $ 40 ' * F 5 +$ 1 :$ 40 ' * F (x)5
9+$ $* 4F $ x5< 40 ' * y = F (x)5 9,$* $ x
y 1 6$6 ) )\< Y x0 -
+ ( 1 ( 9$ @$ $ 1 * 0 ' F < y0 $ $ $/ + 0 ' F 9$
@$ x0< $ *$ +$ 1 + ( 1 (
x0 0 ' * 1$ + y0
Y $6 1 * $( 0 ' * *$* $-M ) $6 +$ @$ 0 ' * $ M
A : 6 $ $ +$ $6 )$6 2 : -
0 ' * ) $ ($ $6 )2 + ,-
$ 1 / $: Q @$ -$! xQy +$ +$ y = x2 > 6 * ($ $6
+ /$ $ $6 + * * / * $ @$$: $6 0 ' * 9$ +$ $ xQy 1$6 y = Q(x)<
Y $6 1 * $ ($ $6 )2 + $
+ ( $ $'$6 )2 ($ $6 )2 + A 1 ! Q(2) = 4 Q(−2) = 4 Q(0) = 0
[$6 88 X$ 1 (
$6 1 * $ + ( 0 ' *-$6 ) $*$6 + >$6 1 xMy +$
4y $6 x-5 $6 $1 * $: * M +$ $6
$ ( $6 1 )$* $ / +$: M $6 0 ' * 91 6 + $6
$6<
3 ( 1 ! * + x + + : (x) $
9 < $* 1 )$* $ 0 41 5 $
* + * / $: : $6 0 ' * $6 1 * $( * *$* $ ( $ + (
$ $ 2 2
Y/ 1 4 + (5 0 ' $ $6 $ - : T $ 1$ C
6 (: @$( $ ) )
4 + ) 5 0 '
" X$ $ $6 + $ -
40 ' * 1 $5 40 ' *
√
$5 1 0 ' * y = x $ 9 2<
($ $6 )2 + 1 $ $'$6 )2 ($ $6 )2 +
" 9 < >$6 P / $: -$ 0$! xP y +$ +$
$* +$ xy 9 1 2$* $:-
P < 9 < )*$6 * *$* $: P 0 ' (
9 < )1$6 @$) $ 1 * @$) -$ + ( @$) 0 0 ' P
9 < )1$6 @$) 0 0 ' G 1 (
$ 1 * )2 $ $ $*/ ( + +$*
+ $( +$ * + 0 ' $
+ @$ 9 1 G(1) = 8<
9U< $ 1 *$ +$6 + Magn 9$ $ -
]KeSMP 4 6: (5< 0 ' 1 $ 1-
$ $ $ $ * ) 9 1
< $ +$ Magn(x) $6 + / 4 )$1 65 $ +$ +$* x
1 ! Magn(,) = ,E Magn( ) = E Magn(,) =