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

"2 # # # ; & & " " " 0# 8

& " D " * & " " E "& & " & & " " / 4 @ " " ? "; ";0#

8 "; & " ; & & " ; &

" " # D " * "

" # > " " " " * ? & " " " " ;#

$ $ $ +$ 1$1 )2

$* $ )$6 $) 9>$1- ) )$* $* $)2 $6 $'

< A + *! $ $ )$6 -

$) )

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

6 ) $* 1$1 )2 $*

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

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

1 + ) $) 9 )$ : <

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

$ -6 $ 1 4A A + 2 5

@$ 4A A + / 2 5 $

1$ +$ $ 6

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

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

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

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

U $ $ $ +$ 2 1$ - 1 )2 $( 1 $ A + *! *$ $

X$) 0 * @$ $ 4 $

5 +$ * ! 4$ $6 5 1- $) JTOJRM] S?S ^KJMO $ 1 2$ 4 + $ $6- 5 9 )$ $ ! "!#$% &'& ()!$"<

! = 0 * 6 : ;

+3>5 7?5. 774

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

/$ ) $6 + 4$ $6 5 $-

+ $ $) $ $*/ * > @$

$ 1$ $6 : @$

X $+ ( $6 +$ $6 + $ $6-

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

) @$( * 1 1 6$

( +$ $ 2 1$*! )

+$ -$ $ $ 1$1

$ ) + $ $6 1 * ) +$ $6 $) > @$ 1 ($ +6 C Q$ / +$ 0 + $ $6

6 * $6 41$1 ) 5 41$+ / 5

92$* $ 0 $ $ $6$ $< 1 $* 4H X > : * 5

4H X > : * 5 1$+$

)

$ $ $ +$ 6 * )$6

) $ $ $* * @$ $ $ $+

*

3$ $+ $ :$6 1 + ( 1 * $* +$ +6 $1$ 2 1 6

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

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

X 1 : * $ $+ * - $)2 2 9 * $ $( $ 1 '$

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

$ : ; : "

$ ; *

@ * "

$ : / A;

0 * ) B !

* )

C *

: ) ;

:

;

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

* + ( 1 ( $'

$*$ + $ $' * 1 1 1 6

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

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

> *$ @$ ) 6 ) * / * $)( 41$5 1

$) 1 1 ! 1 *$ 41 + )(5 ) *$ 1$ 1-

1*$ $/ 2 $6 $ +$ 2$* E 1 *$ 4+ )5 )-

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

) : 2 + )2 *2E 1 *$ 4$6 5 ) *$

$+ 2 0 $*/ 2 $2 $+ / 2 (

1 * ( $2 $ * / 2 @$ $+ E 1 *$ 4$5

) *$ 0 + 2 /$ $/ + +-

( (E 1 *$ 4$65 ) *$ 1 1 * + $)2 $$ $ )$) 1 1 E 1 *$ 4 5 ) *$ +$ )- ) )2 +- $) )

A 1 )2 1 +$ 41$)5 ) - + ( * )+ $ ) $ $*/ $6 )

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

) 1 * / + 41$5 $ +$6 6

/$ + $6 ) 1 )$6

6 1$ 4 5 )+ @$ +$ 1$6 @$) $( +$ $-

) $ 1 + 4 *5 $(

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

$6 $6 ) @$) 9Y ) 1 1)$* )($

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

6 * @ F "

: ; C "

& ' GHIJKLMN

/ / )

/ F

41$5 $ @$ 1$ 1 *! 6 $ $ $ $ @$ 1 *$ $ 1$ $6 +$ <

> $ $ $ 1 *$ 4$65 H 1 *$

4$5 $ $ / 6 !

6 41$5 $) ) ) ) ($ 4 5

6$ / +$ $+$ A 1 *$ 4$ $5

$ 1$ $ 1$6 * 6 $-

$* $6 ) : $ $ $ 1

/ X$ $ +$ 4 $ $5 2$

$6 1 * A $' + : (

$ $ '$6 $ I H )$6 : - $ $)( $ )$6 $ $ $ $ $

)$6 $ $I A ) ): ) $ $ 1 - $ $)2 1 ( 1 $ * )

+ 2 >$( B 0 ) I $ $ $6 @$ 1 )

1$

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

$ $ 1$ $)2 1$( 2

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

1$ $ 4 ' 5 9 2-$ $-

6 )2 $2 ($2< B + @$ $- + / 1 *$ 4$ $5 $ 1$ A1$ $' $ 1$ :

$ / $ $ $ $ 1$* *

B 0 $ $+ / 1 *$ 4$5

$ 1 1$* = 1 + 2 $ $( $ $+ $ $ 9$ $* - 1 $+ * ): $ $6 * * 1 *$* 4-

5 4$65<

B 1 ): 4 1 5 1 *$* $

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

9$ $ $* + 41 5 41-$5 < $ $ +$ @$ 1

:6 1$6 D* ) $ 41 *$5 B ) 4 1 *5 @$ $ $)

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

X 1$6 1 1 $) ) *$* 1 *$ - )$* $ $ 41$5 $)(

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

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

41$25< +

1 1 *$* 4+ )5 $ $ 1 4 )$6 1 5 4$6 * * 5 1 *$*

4$6 + + 5 D 1 *$* 4+ )5 $ $ 1$( )2 + 2 $)2 )2

$2 $) ) $6 D 1 *$* 4$ $51$( ) : 2 1 2 / 2 ) ): )2$ $2 D 1 *$* 4$5 1$( 6- 2 $2 $) 0 * 6 )

2$) )2 1$( 4$2

/ 5

3 1 *$* + / * 1 $ $6

$ $ D 1 4 )( $6 5 4$6-

/ ( )2 5 ) 1 *$* 2$* 2 D )

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

9>$1 )( + ( +$) 1 *$*

$ ) D ) + < >- *$* D ) $)2 1$ )$* + ,

, B ) 1 1 *$* 4+ */ * V5 4+ */ * U5 4 ) : ** $' , 5 4

$ * H X > : 5

Y * 1 *$* $ $6 6 1-

$6 2 ) 1 +$* 1 *$

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

+ - 1 *$ 1 $** *

1 *$* 4$5 1 4$6 + + 5 4$6

$/ 5 ) 1 + / 1 *$ 4 0 + - /$5 Q ** 1 *$* 4+ )5 1 4$6 *

* 5 ) 1 4$6 * *

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

+ 5 1 + / 1 *$ 4 + / ( *5 B + $ 1 *$* 4 6 5 4$+ * 0 5 * *$* / * 1 *$* 4$6 5 9 $ 1 *$( 4+- $) 2 6 5 41*$6 5 $ <E 1 *$* 42 / $5

4 1$/ 5 41 + 5 4$5 * *$* / *

1 *$* 4 5 )$6 * 1 ' * 1 /6 $( 1 *$* $-

* / $ $ * 1 *$*

6 2 1 2 ) $ )$*

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

$6 1 +$ 1 *$ 4 6 5 1 +$6

/ * 1 *$ 4$6 5

)$6 * 1 ' * $* / $ -

1 *$* 6 2 1

6 2 1 6 ) )$*

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

4$6 5 + 1 *$( 4 6 5 4$ - + * 0 5 1 *$ 4$5 + 1 *$( 41 *-

6 5 4 5 9 $ 4+$) 2 6 5 4 6 5 4$+ * 0 5<

+$ 1 / 1 *$* D : *$* 1

+ $* 1 D 1 *$* 4 0 + - /$5 * $ 2 *$ ) 1 $ 1 E

D 1 *$* 4 6 5 * $6 2 *$ +$) 2 6 1*$6 $

/ 1 *$ +$ )$ , 1 $:

/ / , 1 $: /

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

+ )$6 9 ) 6:$ - : 2 1 < $ )$ ! 1 *$* $ )$6 ) ) $6 +$* 94$6 )( 1 5 4 0 + /$5 4 1 $ $ $5 4 ( 1-$6 $( 1 ) *$'$ 5 $ 1 < $ 1- *$ $ )$6 * 1-! )-$ $ 1 *$ +$ /$ $6 +$ .

/- $ +$ $!

* 1 *$ 1$ ) ) * 1 6 $6 )$6 $ $ ) ) 1 9 $ @$

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

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

3 * 1 *$( ) )2 ) +$ - * @$ + ! 1 $ . /

$6 . ,

. , , , /

$2 + *2 )+ ) 1 *- $* $ $ @$ $ $+ )2

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

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

1 6 6! 6 +$

)$ $ 1 *$ +$ , +$ .

- , / $ 1 *$ +$

$ 1 > $( +$ 9

+$* $) 1 $

, *$ . -

,0 ,< ) ) 1 *$* $ )

* ( 0 $* / @$ 1 @$ 1 $ 1$*$ ( 1 *$*E $ )$6 -

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

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

)$* + - 1 *$* )$*

1 B )$ 1 1 /6$ 1 *$ )$* + 94> @$ 1-$6 1 : / ( 1 (5 4$*$6 )( @$ +

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

6 )$* $6 / ( )2 $)5

$ 1 < [ / 1 1 *$* $ $ $ +$ )$*

$ / 9 < 1 *$ 941$65 4$6 5

4+ 5 41 5< 1$6 ) 1 $)

$6 941 : / ( 1 (5 4 / ( )2

$)5 4 + / ( * ) : + 5 4 / ( * * 5< Y 1 @$ 1 *$ * *$* - (: * 1 * 9$ $ $ $+

! / "

/ OJPQRQLQG ) PQRQS / $

- :$; ) "

$ &

$ '<

: ;

> *$ C

$ $ 1$+ 1 *$*< $ *$

/ 9( 2#!#' 3 " 4 &$5 3"' #%$% ! (#22 " &!#)% 53 6#2#6)%< B ) 1 1 ) ): 1-

* 1 *$( 41 5 4 )( $6 5 9 $

* 1 * 1 *$( 4$ $5 4+ )5 $)! * 4$ $5 (: 1 *$ 4+ 5 4 + / ( *5 * 4+ 5 41 5 4$6 )( 1 5<

X$ $ $ $6 +$ 1 1 *$* + (: (

$+ * )$6 $) 1 $

1$6 1 * 6 $ $)

) $ ) 1 * ) 3 * 4 2 )25 1 *$( $2 $) )

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

$+ $ 2 : $ $ $* $)2 @ ' 1 +-

2 ( [$) $6 6 $ @$ + 1 1 1)$ $6 * $6 1 * 1 $2 1 *$( 4$5 4 5 9 ) 41 ' )5< 41 / 5 41 5 4$5 4$5

4$5 4$)(5 4 5 4 ) 65 41 5 9 1$ *$6

(-6 $)( 6< B ) 1 1 $ 1 *$* $( $ $ $ - $+ * 1$* 2 D $ $ $+$6 2 */ 41$)5 $ $2 $) 2 *$ A :6 $ $ * $ $ 1$*

D 1 *$* $ )2 ( 1$* )

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

$6 4$5! $6 * $)2 @$ $6 $) 1 )2 + 1 / $6 $ *$)2 * $ +$* $ 1 2 *$

) <

6 $ 1 * + )2 1 *$(

+ ): $ $ 1$ * *

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

1 ) * @ 1$ 9 $ +

1 6 1 ' 6 )2 1 $ $< > @$

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

@$ 1 ($ +6 U< $6 D$)( 2$

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

$ $6 $ +$ $ $ 2 1 + $ (

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

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

( 41$5 D 9 + $ $ )

$ $< H $( $( 1 6 41$)5 @$

+ 1 $1 ) 1$ '

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

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

1 $+ ) 1 * >

@$ $* ( $1

$+ ) 1 * 1 6$* $ $

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

+$) 1$ $) $+ $

2 $)2 ($ @$2 1$ 9$ /$ $ (

2 $6$< $ $: * 1 + 6 1$) 9 2 1 * *$* 2 : ) + $: * 4 6: 5 4 6: 5 4 6: 5 4 5 $ 1 < *

@$( 1$ $ $ $ $/ 1 *$* $* 1 *$6 6: (

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

6 ) 6$ $ +$ 1 +$*

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

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

2 +$ $6 $+ ) $ $+

$+$* 6: ( +$ $6 $) $) -

1 $ * + $ $* $6 *

6 ) ( $+$ 1 ( ' $)

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

6: * $6 1$ + * $ 6 $

:$ $ @$2 9> $*2

$ ): * ) $6 <

2 1 +$6 +$ $ 1-

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

+ -$ 1 *$*E ) @$ 1 *$* 2$

T

* $