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

$1 @$2 ( $6 1 +

$* ( 1 + )

+ $ $6 + *

> > 1 6 $ 2$ + * ) -

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

91 /$<

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

* @$ 1$) / * 1 1 ) W 6 $2 $( 1$) ) 1

E 1 * @ 1$ * 1-

) +$ * * 1$* jS?•qTNTP > 1 1$ 1 ($ +6 / (

4 . ! #

1 ) / ( ) 1 6 $: * -

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

6$ $ / * + )2 $( + )2 0- $2 $ + ) $ == $ $ @$ 1$ )

1$ $ $2 > 11 9‰KON †?••TO C CC <

$ > 11 2$ 2 1$)2 (

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

$( + )2 0$2 $ / 1 *$* 1 @$

C 6 "

<

)

$

C D +>,5

= ( T+>?V = C

< /

:! ) ; /

[$6 8Z W + 1 *

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

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

$ 2 $0 $ 1 $

1 + ) 6$ $ $+ 2 ( $

6 ) 1 *$* $1$) $ $6 ( $ - 2 $ 0 : * $6 1 ' $*

$ / 1 *$* $* 4 ) )25 $*2

+ )2 0$2E 1 $ 4 + * 5

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

1 * $ ) * +

1 *$ 4$65 A $ 1$ $ 4Q 6

$* $ )5 $ / 1 *$* 4$5 4 5

$) 1 ' 0 + +$) 1)$ 4X-

1 :$ > 11 ) . . . + 0 + $

$/ 1 1 E $

1 * 5 B 0$6$ + 0$ $6 1 /6 $)2 / 2 1 *$( $) + 6 ) :6 1 +

1$( 0 $ $( 1$

$ ! * $ +$) $6 *-$ -

*/ * * ) + : + ( ) -

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

( $ . A ) * 1$) - +$* + H 1$ )$ )

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

B $* 1 2 1 )2 1 ) / (

1)$) X1 ' >$ ) 1$) ' 6 1 - 1$) $ * `

+ * 6$ $ $)2 1 : -

+ +$ * 1 *$ ) jS?•qTNTP )

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

W ' 1 ( 4B )

5 2 *2 1 )2 2 *

2 ) +$ $ 1 * +$ 1 ) / ( 4 1$ 1 @$+ 6$65!

1 1 * @$ * * 1 : (

1$) B + $ 1 */

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

B 2 ( $+ ( + * * *$*

+ )2 0$ 1 1-

1$ > @$ 4 + $5 0-

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

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

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

/ $( + )2 0$2 9 $ $*

) ): 0$6 $6 1 /6 / 2 1 *$( )2 0 : 2 * $*2< 1-

*$ * 9 $ 0$)< $) $ 1$ $6

1$6 @$ $* B ( $ 1)$)2

> 11 )$ ,

A$ 1 @ + ) $ )$* 1 0$ 4 + )2 )2

5 B * @$ * 1 1

$* 1 $* 1 $

$ $6 $ $6 1 1 $ $ $6

$6

) & "

o$

C +>3, j $'

) "

) 0

/

C '- <

$

2

, '-'*

! . ( " / 3) /

! 3)%" " / 3) /

C C 4 4 + 4 4 5 + , & 3)%" 3 6 ( 7)%" 3 8) 3)%" 39 3)%" 3 )'

4 4 + " : $

[$6 8Z W + 1 *

0 ' * 0 6 0 ' * $ 1 1 $ -

6 * * $* / $ )$6 1 D ' * $( / 2 -$*2 $ $ 1 T / x1F1(x1) & . . . &

' * T → B $ + B $* ) $ -

$ $6 91 1 $ $' ( -

6 ]?^MP J?NNTSP 1$ < +$ $ T $

$ ) $* $ 1$E B $*

$) $ ) $6 $ $ $6 +$ 1 + /

0$ 1$/ ( $ [$) $6 $ $6 $ - * T 1 : 6 ) * + D ' 1$6

$* Fi(a) a ( @$ $ 1- * 1$ Fi @$ 6-6 $ +

$6 6 * B 0 ' * $

$+ $ 0 6 0 ' 1 ' 1 6 E $*

$ $* 1$(

+ $ $ )$6 * $ $ $ -

I 1$ +$ ( ( $($ $ $* / ( $ * *$* +-

$6 1$/ 2 0$! $6 1$ -

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

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

$ +$ ( ( 1 $)2

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

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

6 ) 1 )+ )2 *2

>$ 1 3 ) - ) +$ $ 1 + * * *

+ + 2 2 X ' @$ 2

; & $ 3)%" 3 6 ( 3)%" 39

: ;'

"

D T / F$

) / Fi (a) i = 1, . . . , n a / "

Fi

U 1$ $ - $)( $

) * $+ $ 1 ( 8Z

@ $)( 1$6 > 0 ( + ( -

$ ) : * : 6 6

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

+$ 1 ! + 6 1 +6 X )( 1 * )(

3 ( 1 ! 1 (') $+ 2 ) )

+$ ) 1$ $) H$ $ + )2

(

@$ 1 $*$* 4 ) 5 $ -

+ 6 +$ $* 1$) )

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

/ 1 6 ) )+ )

@ 1$ 9$: 1 $ $ -

$6$< X )( $)( 1 @$ 1)$

0 H H ( 6 9jNLTOJ jLOKqK] „R"qTNP?S CU <

: +$ * $( + (

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

$ $ $6$ ( :$( <

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

* >$( 1$) ($ 6 -

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

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

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

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

* $( B 6 $ 1$* ) 1-$6 * ! $ +$ $+$* : $

D o$* :D )

"

;

/

$* 0$ 1 / ( * D* 2 (-

@$ 2 : 4$: (5 $ 1 @$ $*

1$6 $ $* D* * ) 6

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

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

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

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

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

> 11 +$ 2 $6 0 ' 0 6 0 ' $ $ $* ! + + 6 ( 1 1)$ 0 6- 0 ' $* 1 +$ 1$ + +

1 * *$* $ * * ( $

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

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

1$6 * $ +$) $* 1$ -$*$6 $6 $ 0 +$) 1 1)$ 1 * ) ) A + *! * * + * $* )$6

1 ' 1 1 ( 1 1 G 6 0 '$6 * *$* 1 ) > 11 $*- / @ 1 + + ) $ $ 0 $0 + 2 + (

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

1$ 1 * 1)$

> ) 1 1)$ ( D*$6 * * 1 ) ) 1 @- $+ 0) +$ 1 1$ 0 0 2 : : ( 1 * $ $6 -

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

): + (-6 ! 4B 1 6 $6 $ +$ *$6

1$** :6 $ +$ ):$5 H 1$ 2 $ (

-

/

.

)

r & ) ' o

(

[$6 8Z W + 1 *

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

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

X / : $ ( 1 *$6 $($ -

) $6 )2 $0 + 2 + (

1 : 2 * / @ 1 + B ) ) 1 + * + 2 )$( G 9

1 6 +$ /$6 $ )

4 1 ( 5 9 4 + 5< $ $ ) +$

$6 ) 1 6 1)$

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

) > @$ 2 1 1)$ )$6 +

[$ $* 1 + )2 91 @ 1 + 2< $( $

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

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

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

1 / * ) 1 )2 $

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

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

1 * )$* +$ $2 / +- )2 + *2 @$ 1 2$ B * $ $6 $ ) ) 1 * $ 1 ' 1 6 1 )

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

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

)$ + : 2 * 6 )2 $ $ +

+ 1 1 6 9 $

$ 6 ) 4'$5 $*$ $

)1$ 2 1 * * <

$ "" & " " * * # +A "

" " 5 3 * #, 6; & "4 " " "4

& " " & " " 5

" 2"& " * & "2 * *4 &" F% 9 /C & " & " " "

& " ? " & % & 5

" & % " # B " " " " " @ " * 45"; & " " " "; " " & " " " " " " " "; . . . * ; &

"; 4 " * # 6 & & " * "

& " " " & "; "

& & " " " & " % " " * & " "

& * 5 & " 4 *9 /A " " ; & " & & " M0 D " & " ;

" ? "" " " ; & " ; " & #0

" " * 5 " 45 4 & ""

;9 & "; ; " " " "

" " & & " & ; " & & " 4 & " * " * "

* 4 @ * "; ; #

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

> +$6 $0 + 2 + ( +$ 2 1-

$ $ + * + ) $ 1 ) $

+ 1 *$6 $ / ( $

$ $ )$6 1$6 $) )

+ ) $* ` /$ 1 -

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

$ 0) $0 + + * $ $6 6 -

$ $* + ) $ B -

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

1$ $ 1 ( + ( $( 9A 1 +- ) $ $ $ $6 1 + * 1 * * + )2 B $ -

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

1$ + $ $+ 2 ( )2 $

* $) $ ) $<

V [$6 8Z W + 1 *

$ G 6 0 '$6 * ** 6 $ +$ $

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

( > $ $6 /$: * 7Z88 7Z888

0$* $* * D* * : * @$ * + - + 2 /$2 ( $( +$ 0$ $

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

7Z888 ) 1$ 1)$ H W 6 9jSJ?RST rKMOTSJ rKt?RPRTO U C < ( $( * 1 *- $( (+

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

+$ +$ + * * G 6 0 ' ) $ $ 6 $ 1$ +$ 1-

)$ 1$6 +: D* * / 0$) / :1 ' 1 * + $ + )

$) * 1 * : * *$* @$ 1 '

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

: $ + +$ : 2 1- * 9 1 H X > : ! 4A 1)$ ) : $)25 <

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

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

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

B$6 ) 9 1$ $*/ ( )< * *

+ * $* $ $ ,0 $ 1- ( xF (x) 1 @$ + ) $ 0 6 0 '-

) , $ 1 * xF (x)

0 6 0 ' )! $ > 11 4 ) $6

6 * $* $ +$ +$ /$ $ /$ -

$ /$ $65 > @$ $ $*

$ 2$6 $ + )2 $( +$ $ $ $6

C

¬xG(x) & G(x) ¬F (x)'

&6 : ) / C /

; ' .

& +' " ) *

: ; /

6 xF (x)