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

, * $)2 $*2 *

& & 2"@" # E " * & "

& * " * @ * & " * " & "

# E " " " "

& " * %@@ 4 2 & 4 " " "

& " " & " 2"" *

" 2" # > " 2" "

" ; " " " * "; &

& " " * #

" == $ $ $) $) -

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

$6 1 6$6 * $) $ $+ ( 11$

+$ $ $ + ) ' 1 ) $ $+ *

$ $ $+ * @ $ $ 11$ 1$*$

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

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

B 6 $ $+

* 1 *$* 4$ 5 $6 2

$ $ H 1 $ $ $ 41 6$5 $ + ( $ $+ 0 :$* $

$ $)2 2 1$ 1 1)$ 0 6 0 '$6

6: + 1 $ $+ *

1$ $( 0 1 $ -

* 1 6 ) 0 $ $ 1

$* 91 $

> 11 < 1 * ' 6 )2 2 $ -

$ +$ $ +$ $+ 1 ' ) 1 *$*$ $* 1 ) 0 + - /$) $ $) @$ $ 1 )$6

/ ( 2 $ 1 $ $* 1 * 6

) 2 1 )$ / )2 $

$* $* 0 $+-

$ $ 1 $

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

. : ; = . j

& ) "

) '

[$6 8Z W + 1 *

+ 2 $ $( 6 * * $6

' 6 ) ' 6 1$

>$ $ + + /$ -

1 ' 1 1 ) * * 6

7Z888 $ $ 1 $ )( * +

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

* * +$6 1 ) $ 1$ -

$)$6 $ 1 * / +- + ( $( 1 ) $ $6 )( '! $6 +$ A 6$ $) $ 1 * / -

)2 $ 9 $ 1 / 1$ $ )2 $6 )2

$ / < Q @$2 $( ) )2 $ $ - + ( 0 1 * 1 $* $) $ )(

$ 1 )$6 1 ( 1$6 $

$* ( / ( $ 1$ ) 1$)

0 + $ $ 1 6 $ $+ 11$ 1 * / 1 )$6 1 $ )2 $1 A 1 2 $ $+ ( 0 2 + )2 - : 2 * ' 6 ) 1 1)$ * $( / 2

1$6

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

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

$* * +$ @$ -

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

( $+ 1$ $ )( $

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

( $+ 9 @$ + *$ +$

1 X ' $ 1$ $ 1 $*$* <

) +$ $ $* $( $) $ - )( )( $ @$ +$ +$ * $ )

( $+ 1$ $ @$ $ $ 2$*

( $6 $* 91 + $ $6 +

1 $ 1 +$ $6 $ $* 0 $< , :$6 @$ + +$ 1 $*

$) $)( 4 + 6 )(5 $ 91 4 + 6 )

* 5 *$ $ $< ($ 0 ' ) /

$6 $ $( : 2 $ $ H +- ) 0$* + $ $+ ( 0

, * $)2 $*2 * U

92$* * $ )$6 ) $)2 + 2

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

*<

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

* 2 $* +$) 91 )2 *2<

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

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

: * $ ) + 6 ) 3 $ +$ * (

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

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

) 1 :$ A 6 * 1 :$6 -

* $ 1$ +$6 : * $

1 * )

> 1 $1 6 1$ $6 +$ 6 1$ $6 $ 1 * / 1 ) 91$6 1 6 *$ $+ 11$< 1 )$6 2 $ $

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

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

/ * 6: ( 11) ( +

/$ *$6 6$ $ 9 2$6 @$ * * $ +$ +$6 $ $+ * $*$6$ + )

< $ 1$ $ $+ $

9 * + 2<E 1 @$ * *

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

+$ 6: ( 11) ( $ $6 $

( 6-6 +$6 ( /$ $6 $ +$ 1 2$ 6: > $

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

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

B 1 / $ 1$*$ ( 1 $ $ - + ( 0 $( 1 6$* 4 1$ *5

3 ($ $ $ $ +$ * ( $+ $/ (

$ + ( + ) *$* +

@$( + ) 1 $ : '$ ( $+

[$6 8Z W + 1 *

X $ + * +$ $ $6 $

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

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

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

$+ A B 41 2 5 ( $ $: +$ $ : * (-$ $ $+ A $

* 41 +$ $ 5 ) @$ $ $ 6

$+ B + 2 2 $+$* 4 )

$+ 5 1 2 $:

>$6 1 A * 2 ** $+ $6 $*/

B * $+ @$ * A

1 / )( $+ B $ $* 1 @$ $+ 2$* 1 $ A B 2$* $ A 1$ $6 : $+ A $ $ $ $6 * 1 $

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

)( $)2 1$* $ $* :

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

6$ $ 1$ * B 1 / * :

$+ B ) $+ 1$6 * 1 + $* 1 @$E ) 1$ $+ A $ $ 1

B : 1 / )( $+ A $

* /$ + + 1 / )( $+ B )

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

4 (5$ $+ * 0 +$ $* 0$ /$* 4 )2

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

: 2 1 * $*2 /$( @$ $ 0$

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

) + )2 $ $+ ( 0 ( > $ $6

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

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

, * $)2 $*2 *

( 1 6 ) $ $ ) $* (+

6 2 $2 *2

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

) 4$ $+ /$5 4 + /$5 > @$ 1 4$ $+ ) 5 1$* /$ $ 1 2$

2 /$)2 (! *$* 1 - ( 1 /$) 11 + 0 ' @$2 11 2

$: * $ ) 1 $ H 4 +-

5 /$ @$ $ $ 1$* $* *$*!

* $ + $ $ $ *

B ) @$ $) 0 E 0 1 6$*

) 3 * $ $+ * $ @$ $

@$) $( / $* $ $6 9$

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

, . $)2 2$ * $ $* )

' + 1$*$* , $)2 2$

* 1$* *$* > $' ( +-

( $) $ $6 X + * $ $' ( 1 / / * 1 * 2 + )2 0$ - : ) ) /$) $) $) 1 *$ )$6$ $+ ) + ) $ $+ $ ) 0

$' ) + $ 9$*/ $ $+

$) ( 1 $ /$( (

$+$* < G $* $ + ) 1-

* $6 * $' )2 + 2 $E $+ $

' 6 )2 2 $2 )2 + *2

$6 1 * $ :6 $: $' )2 $

4$' )2 1$5 $' )2! 1 1- )$6 2$ * ' $+ $$+ ( $ 1$ $ 1 )$( -

$' )2 $2 $2 $ /$)2

$: ( @ + ( 1$+ ( ' ( $)

6: ( 11) $ $+ $6 $+

1

C ) $

! &dMXMSLJ vGNnLJ +5>3/+375'

[$6 8Z W + 1 *

3 : $' (! $ +$

/$ * 1 2$ $ $ ( 1 ' $* ) +$ @$ $ 1 ' 1 $ 1$6 * 6:

, + $ +$ + 1 $6

$ $ xF (x) A + $ $ 1$ $6 ¬xG(x) 9 G(x)$6 ¬F (x)< $ +$ * ( )$ 1$ /$ -

$ * * 9X U < E

$6 8 $ $ xF (x)

+ 1 /$ + 2 : $)$ $ $ $' 2 * : * $ $) *+$ *$* $+ *$ $* > @$ 6 *

)$6 $' *2 $+ 1 * 9

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

Y/ : 1 ' 6 )2 2 0 + 1 *$* )$ + ) * /$ 4-

5 *$ 4$5 41$5 $ @$ 1$

1 $ 1$*$* $6 $0 ) $ - *$* ) $ + 1$ X : 1 $ $6 /$ +$ 1 0 +-$ $ $ $6 * 1 1 1 1 1$ > 1 )$6 $ $) 1 *- $* ($ 6 )2 1$ 1$

@$ $* 1 > 11 4 $ +$ $* ($ a ) * /$b 1 ) 6$)

* 0 + 2 $5

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

$ @$ * $* 1 / * 1 *$ 4$ - /$)2 1 ' 5 9 -6 1 ) < 1 ' 1

1$* 1 1 @$ +

> + ( 1 + * *$* + ( $* 41 + ($ $5 $( $ 2 *: 3 , 9wKtR^ yR"KO^? U< 1 *$ 4$ $(5 $ $ $

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

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

, * $)2 $*2 * C

)$* $ $ $/ 2 ' 2 + 2 *2 $ 1

2 1 * $* $ 9 $$6 +$ $ 1 *$* 4 /$ 2 $5<

$ + 9$*< )$* 1 * ( $ H A G$ 4A$ $) ' 6 1 5 4aX$ $6b

) $ $* 0 0 * 0 ' * 5

A $6 / +$ 2 $ $ $6 @$ 1 0- $ 6$ + + ( $ G $* $

1$* / * 1 ' $ * +

: * + + /$ $

$( +$ ( X$6 6 * 1-$*$ ( + * 6 Q + /

@ ' )2 6 1 )$6

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

/$ $ 2 $ @$ $ )$1$

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

) $+ $ 1 $)2 )$*

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

$ *$ *$ /$

92$* D$ + 6 2 / +$ $ *

1 ' $' )2 (<

)( ) $)( $6 ): $-

$6 * $)2 2 $ $ $

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

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

9,$* @$ $ $ $* $6 $)

6 +$ :$* < Y 1 *$( )( 1- 1$ $ +$ 1$* $* 0 6 0 '@$ $ $6 $+$ +$ 1$6 +$ * *$* 0 $0 + + 9+$ 1 / :$ 1 /$ 2$* : / 1 * 1

( ( $ $ $* $6 $ 1 1

@ 0 ) "

D "

@ &fGgR \GR wJMNZRR +>4,/+>75' "

: 0 / ;

$

[$6 8Z W + 1 *

(< Y 1$ 1$6 *

@ 1$ $( $ 9 1 :

+$ )$ 1 + 1 : $

)$ 1 1 1)$2 1$6 / ( 2 $<

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

D$ * $) )( :$6 *

:$6 * $ 1$ $6 1 D$ $6 $

$*/ * 1 *$* D $)2 + + )

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

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