Введение в современную логику - Гладкий А.В
..pdf
1 . 23
3$) * $) ) 6 1 )- / 2 +$) 2 2 1 ) 2 $2 + *2
/ 2 * ( 1 +$6 ) E
) ( +$ 1 2$* 1 6$6 * * )2 $1 / ($ $( $ $
: 1 6$* , * $*/ $
+$ 1$ $ + ( + )2 0- $2 $* + 1$ / * 9 +
* $ +$ $) @$) $ -$
($ $* + +$ $ @$)<
1$ / * $* +
1$ / 9> $ $6
1$:$ $)( 1 2 $ $ +$
2 $+ )2 $)2 $( $) ) +$ @$ +$ / $ @$( $) $) < A$ - ) * $* 1$6 $6 $+ ) 0 6 )
$) 1 2 1 2 +- + 1 2 1 $ 1$ 1 $ $ 1 $ * )( 1 $ / $) *
1 6 ) + 1 +: $ $6$+ 1
X * $ $ $2 H$ $*$ ( $( +$6 $ ) ( 2$+ ( 9$
! ! / : ;
[$6 8Z W + 1 *
4: 6 (5< +$ $ + ) $2 +$
) $) $+ $ * -$ $ + * 2 ' $ $ +$ 1$)2 2 */ )2 $ $ $ ' ( $' (
> 6 )( 1$6 1 * / ( + 2
@$2 / ( $ +$ 1 2 $ $ $)2 2
1 2 : 6 $) 1$ )$6
$* * @$ 6 ) $ 1$* 6 $ $ -
* $( ) + ) 4 2$)5 *
6: $6 +$ 1- )( 2 $ * 6 (:
$ ' 2$+ * +$6 )
$ ($ $6$ $1 + *
)( '$ @ 1 + 2 $ $6 * 1 1$
: (E 4 2$5 6 $2 1 + *
1 $* X 1$ (
$ $+ $) $
1 * 6 1$
$ $)( $+ * 1)$ $
@ 1$ `+ )( $ 0$) 2 * $ 0$
$ - + * 6: + )2
1 * ) ( ($2 + )2 1$
* ( )$ * / 2 ($2 1$ * ( $ $1 B 1$ $ + ) $
> ) +$ 0 @$ 1$ ( ( 0- 0 G @ 9uOKS"RP vK"?S V V V< 1 ( V
4 )( |
5 94•?tM] ‚OeKSM]5< 4$)$* )2 - |
/ ( $ |
@ @$( $6 $ $ 1 ) |
$ ) $5 + )( )$6 1$ $
0$ $6 * +$) E +
0$ $)$6 $ $ ) 6 @ )$
( 0 ! 4B $ * ( ) @ 1
- : ; : ; / : ; &! '
@ -
)
- :! ; & / : ;' /
) =
.
A$* @ * |
U |
$ 1 1 6 $6 $ -
6$ $* ) , '$) 1 1 1 *$ $6 2 * >+ $ ( 1 ! $$ )2 1 )2 '$ 1$ *$
1 $+$* $ @$ 1 0 0 {$ $6 | A )$* $6 1 /$
2 $)$ $ $) $ - + )( $ $( $ 2 + 2 1)$ *$
1$)$ 5 Y$6 ( * ( ! 4`+ )(
$ + )2 )2 +$) )$6
5 )$6 +$ /$6 1 @$ @ 1$ $ $ 1 6 )2 / (! 4[ + (
( $ 1 1$ / 2 6: 1 *
* + 2 2$ A $ * 1
+ $ 1 * 1 )$ 1 $ $-$* $: * $)2 $5
X2$+ 0 6 @ $ $! 4W-
$* $1 6 $* 1 * $)$* )2 ( 5
X 1 ) 4 1 1 ' 1 ( . . . $
$ $ $ $ $ $ 1 ) > @$ 1 + *$
* 1$)5 4X ) $*$ 1 ( -$ / 0 1 * $6
1 *$( > @$ 1 *$* $**
1$) $+ ) $ / ( $ $ + 1 + $ +$ 1$ 2 5 $ $ 1 *$* 4$ - ' *5 4 +$5 4 ($5 4$5 4 5 41 5 4 5 41$* 5 4$$5 $ 1 9 @$
1 *$* 1 $ 0 < 4 ) ): ) 1 2 1 )5
= 6 ($* :a D "
& `
/ @
) $ ) ) @
$
D )
$ / ;
D
/
: ! ;
[$6 8Z W + 1 *
( $ 1 @ $6 4-
5 $ + $ +$ / > 6 ) 1$ * 4$) * $)$* $)5 +$ $ $ $ $)( 4 )$
) / / ( +$ $( 1 * 6 1 ) 1$ - 1 1 ' 1 2$ / 5 4 )
1$ 1$ 1)$) 1)$ 9 @ 1 <
1 + ) ) 1$ 1)$ 1 +
1$ 1)$) 5> @$ 1)$) ) )$6 + ( )
1 * + ) ' 1 ) ! 4X$)(
*/ ( * :6 ( 1)$ . . . $6 +$ / 16
1$1 *$ ( + *$ 2 1)$ 1 ($ 1 1 1 1$6 1 ) $
$ $6 $ +- +: 5 4A$)( . . .
$ 1)$ + $ $ 1$ )$ $ !
+$ 1 * + $ $+ 1)$ . . . )$
) 1$)2 ) 1)$) 5$ ' ) * @ 1 ) ) -
( + + $2 H$ $* 1 +
* $)2 $ $* : 1$ $+$6 ( +$( @$2
( * *$* $ 2 +$* $6 $) -
* * / 9 $
2 1 ) $6 / ( <
)2 ) / 2 * + )2 : 2 1 @-
+ 1 * ) $+$ 3 X$ 6
9~?qS ƒJMKOJ „RNN V U< X * 6$ - $) 2 + 2 ( 1 )$ 0$6 $ 4X$ $+ ( $( A 1 ' 1 $6$ * $ + *5
94j PzPJT] ?m N?eR" OKJR?"RSKJRtT KS^ RS^M"JRtT vTRSe K "?SST"JT^ tRT… ?m JqT •ORS"R•NTP ?m TtR^TS"T KS^ JqT ]TJq?^P ?m P"RTSJRmR" RStTPJReKJR?S5< 1 $ ): $ U
0 )
D
` :! ; :E ;
<
)
& )
'
A$* @ * |
|
@ 6 +$ $ ) $ * -
' $ 1 *$ / ! 4A ' * $6 $( $)( 1 ' 1 1 / $ ) + +$ $ +$ $ $ +$ + 6- 2 + *2 $ $) 2 + *2 2 )2 1 )
$)2 1 )2 $: *2 3 ' *
$6 1 ' 1 1 / $ ) + +$ $ +$ $
$ $6 6 2 $ $ $-
$6 +$ $ +$ $ $ *
$ $ 1 1 )2 $*$6$2 * * 5
A 2 * $ 1 * ' 6 1 2$ ) +$ 0$+ + * * *$* $) $ 1- *$* 4$ +$ +$5 X1 $) )$ @$ 1 *$6 / 1 1-
,$ + +$/ * )+ 1
vKOLKOK!
8 4 " #
1 2 8 " ? #
* 2 8 " #
9Q 6 1$* + ) : ( ' $ $ - )( / <
@$ $1 + $ + *
94 $)5< )$* 1$ $ - ( @$ 94 ' $ $5<
1$ 6 + ) $
$ +$)2 + ) ) +$ $) A + * $ $)2 +$)2 + ) ) / +$)( + ( / ( * $2 $)2 )
) $+ $ ) )$ (
( +$)( + ( +$ )$ /
/ / @$ + B $*/ - + * 1 $) $) * $ $6 * 1 ' 1 * $ B ($6 2 6 * 6 * ($6 / 2
1 ( 4X $ . . . $ 6 $
/ / 1 * 1 *$ $6
j 0 ) & 2
+4'
V |
[$6 8Z W + 1 * |
* ! $ $+ $/$6 1)$
6$ $ 0$6 / 1 * 5
( + ( ' 6 +$ $ 4$ $
) 1 + ( * /$ $ 1 $ 1-
1 + $* $( ( 1 + )5 H-
* / @$( ' $) $)2 ( )-
*$ +$) )2 $ $* 1 + )2 * (! 4- $ 2$5 9„TJq?^ ?m jeOTT]TSJ < 4$ + *5 9„TJq?^ ?m wRmmTOTS"T< 4$ $ $5 9„TJq?^ ?m yTPR^MTP< 4$ 1$ $ - / 2 (5 9„TJq?^ ?m h?S"?]RJKSJ ZKORKJR?SP< [$ 1 6-
$* $ )$ 6 4 )( $ 2$
+ *5 X /$6 @$2 $ 0 1*$ 1-
) 1 (+ @$ 1 1 * 2 1
: 9 0< Y + 1- / * * $ / :6 $*$6$
$ @$ $*$6$ $ $6 $* @$ + $6 1 + 9 $< * *
$ 2$ : 1 6 * 1 6$* / - + ( $ + + 1 * B 1
+$ $* *$ *
$ ) +$ * * *$* 1 + ( 1 * * *E $
+$ : ) ) )2 1 + 2 1 )2 $*$6$2
6$) $* 1$ $ 1 2 6')
1 : + +$ 1 + 2 E * +$ 1 1 2 +$ $ + 9 1$6 $6 < + 6 : +$ 1 2 941$5<
* *$* $2 + *2 1 + ( ( 1 + >-$* 1 6$* @$ $ $E 1 *
4 ) * ) 1 +$ $) + * 1 )-
( 1 5
> $ $) $ 2$
$ / * 6: ( $ $6 E $
+ ) 1 /6 ) ) ) 6 :- + ) 9 1 1$ $ * $ $)2
$ $*2 ) : + )( ) +$ 1 + ( * *$*
$) 1 *E $* $+ * ) ' /-
D : ;
: ;
A$* @ * |
|
1 *$( < > @$ + )2 *2 $ 2$ + /
1 6$* +$ $ + *
= 9 < Y + ( $ -
* $1$ + ( $ $1$ 2 )
2 $*$6$2 $+ / * :6 1
+ $ @$ $*$6$ $ $6 *$* @$
+ * $6 $ 1 + 2 * +$6 1 + ) * *
> 1 * $ + * $ $6 +
1)$) W >$ 9r?MRP †KPJTMO C < $) ) -
$6 * @$2 1)$2
1 * ) ): / 2 1$ $6 )(
6 1 1$6 1*+ * $) 6 ') - ): +$ ): 1$6 6
$ +$) 1$6 1) 6 [ $ -
* 2 $1 )2 * 1) 6 )
$ 2 $) ): 2 ) $
) ) +$ 1 + ( 1 * * * *$* 1 1 2 +$' 1)
$ + * 1$* 1 6$* $6
($ $ 0$ - ) 1-
1 1)$ @00$ $ * $ 1 -
$ )2 2 $: *2 1 * )
) /$ 2 ) 2 $) + !
1 9 ) 1)$) < *$ 1)$) )
9$6 < $*$ / + 1)$(
$6 ( 11 1)$)2 D$ *$6 1-
6 1$ @ 1$
E 9, 0 < Y
+ * * * $ / :6
$*$6$ + $ $ $* * * $ / $6 $ $ $ $ $*$6$ $ @$ -$*$6$ $ $6 *$* * + $6
D "
o - $ &sZttZ[G hnZYYZRtZRQ +52>/+5>>'
& F ) $' "
"
[$6 8Z W + 1 *
$ 1 + 2 * +$6 1 + ) +
* *
> 1 * $ 2$ + * -$ $6 * $6* 3 $$ $
9oR?tKSSR vKJJRPJK oOKPPR C < 6$ $ $)2 )
1 + * A + * 1$ A$ - + )2 1$** 1 + ) ) )
$ * ( $ +$ 2 )2
$ $*2 $)2 $+ 6 ) jS?•qTNTP $+ 6
* * $ ) @$2 * $ )$ + +$ ) jS?•qTNTP 1 +
*
3 ( 1 ! * W ' $)2 -
1 ( 4B ) 5 + 6
1 )2 ) * $ $)2 *2 1 * 6 1 $) 2 * : ) W ' 1 :$ 2 '$! 4 *$) +$ - * \ 1$6 +$ 1 ) + +$) )$6
$ 6: $* *
+: $6 1$\5 ` 2 * / * *
* 6 $2 2 W ' +$ * - : ) ) ) $ $6 ) $ * 6 1 $ 1 $ $ 2 *$ $ $* 2 (
$ $ 1$6 : ) $ $*$ 1 + +$ * $ $6-$ 1 ' @ ' * * + $(
$6 1$ * 4+ 5
X$ $ $ $6 +$ )( $ 2$ + * - 1 6 * + ( $ 1 * B 1$*
+$ 2 2 2 )2 2
$ 2 $ 0 ) 1 /$*
$ 1 $1 ( 1 @$ 1 2$
$ ) ) +$ 1 + ( * ) * *$* 2
L 9 < Y * * )+$6 $
+$6 $* $ 1 2 ' ( $6 $
o$ &mGR[ZO sG[JRt +>4,/+>3V' /
11 /
A$* @ * C
$)2 1 )2 1 ) / 2 $ $ $ * * -
)$6 $ $6 )2 1 ) / 2
+ ( 1 1 * $ $ $ $)$ 1-$) 1$ 1 $ ( ( $ ` : 6
9pRNNRK] ‡TOP"qTN U < $) 9 < 6 1$ - + ( $) ` ) + +$ * $
6 $*$* $ +$( ) )$ 1$ +$ 1 + ( @$ $* * *$* 1$* ( / $- ( 1$) 1 ( 6: $ X ' + ` A 2 * @$( 1$) V 0 ' ( $ ` W 6 9ˆOLKRS ~TKS ~?PT•q rT ZTOORTO < )+ $ ( 1$) - / ' $ - $ A 9~?qKSS o?JJmORT^ oKNNT C < $) $+
$6 > + 1 6 W 6 $ $ + 1 $ -
1 $+ 1$
3 ( $)( 1 |
1)$ 0 ' 0 } G |
9~TKS vTOSKO^ rT?S u?M"KMNJ |
C V < 1$: ( 0$ - |
$+ / * Q G 1 6 * @$( ' *$ |
|
94 *$ G 5< 1$* / ( ( )( 1- : )( $ 2 ( ' $( 1 $
+$ *$ $ +$6 * ( $6 ( 1$ Y$ $6 @$ $ *$ $ $ $1$ $6 $ 1 6 )
($/ $*$ $* * $ $
* 1$ + * *$ @$ 1$6 $ 2 *$6
1 1 $: $6 2- */ ( * Q / / ( * $ ( $ +$ 1$6 + * *$ 1 +$* $ $6 1 2$ Q E$ $ +$ Q * /$* $ $6 9B + $
1 +$ 2 */ * 1 1$) 1 : +$ $ +$ 1 $* <
1 1 )2 1 4 )+$( +$6 5 * * ) +$* $ ` $ $ $ ( -$) $ +$( $ 1 @$ ) $ $ $ -
$6 1 * 1$ + * 9 )$/ * 2-
< / , 6 4$6 )2 1 ) / 25 1 1 $ 1$* 1$ $ / Q -
(
+53, = 6 o &+5?4/+53?'
[$6 8Z W + 1 *
: 9 -0 < * *-
* / * 1 ) * ( $)
) *$* $ * $6
1 + $ * * (-
1 + ( * 6
$ $ $ 1 *$* 1 /$ $2 + *2 +6
$ +$)2 *2 > $ $6 -
D $ 1 2 $ 1
$1$) 3 ( 1 ! * 1$* $ 0$ +$ - ( 1 + $ $ / 2 * ($* * *$- * 9 * $< 1$ 2 ) 1 ) 1)$) + *$ 1 1 -1 $ ) +$+ )- + 2 6 +$ + 6: 2 1 1
$ $2$ *
$6 $ @$2 1 9 1 )
*< 1 )$ +$ 0 1*$ 1 91-
/ * 1 ) ): 0 1 )2 +$) 2 1-
< $* $+ @$ 1 +6 $ $ * * A 1-
/ * * * B +$ $ 6 A B
1 1 I Y $1$ D $ -1 )2 2 $
$6 4* * 5 - $)2 1 +$* * * 1$6! 4B- 1$ $6 1 + D 5 Y A B 1 *$6
$1$) D $ +6 $ 4
(5 @$ + $ +$ 6 H +
$ $ $ 1 > @$ 1 6 $6 6
* *2 ($2 +: $6 2$ $2 *-
( 9$ 2$ $ + / +$) $ )$6
+$) ! 1 1 6 $ 1-$* < $+ 1*$ 1 0$6 $!
Y *- 2$ $ $ * * *$* 1 ) * ( $) ) -
*$* *- * 2$ $ $
* * $ $( 2$ $ $6
1 + $ * 1 ( (-
1 + ( * 64 (- 1 + ( * 5 $* 6 1$ +$ -
* $ $6 * $* / ( 1 + ) $)
+$* - 1 ' 1 $1-
$ $ $* $ $ $*