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

+ 1$

> $ $ $) 0 1 (

$) 0 ) 1$ )$

, $ 4$ $) 5 1 * $) -

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

9$* $* 0 $ $* 4-$ $) 5 1 *$6 ) 1- ) $ /$<

,$ $1 6 6 1$)2 1

G F (x) ¬F (x) $ -

$ $6 F 1 6 ) $) 1$ F0 $ $6 1 ( x 1 6 + x0 1 +$* $ 9

+ $ $6 < 1 F0(x0) ¬F0(x0) B

1 / F $) 1$ : 0 1 /$* $ $ $)( 1$

G x(F (x) ¬F (x)) $ $ 9

+ 1 ) / ( $' 1$ 9 <<

G xF (x) → xF (x) $ $ *

1$ F0 * $ 1 xF0(x) $

1 xF0(x) $ $ 1$ $ 1 ' *xF0(x) → xF0(x) $ $ 1 xF0(x)

! ( G y xF (x, y) → x yF (x, y) $

3 ($ $6 F / 1 6 ) $) 1-

$ F0 ) / $ $: $ 1 )

: ( 1 ' $ $ +$ $ 1 )$* $: *

$* @$ * )( @$ $: , @$

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

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

1 ) $ $6 * (E $ $ 1 F0(x, y) 1$ 1 )( $ $6 )2 + +- / ( x < y 9 ): 1 V V< > @$ $* 1 ' *

x yF (x, y) → y xF (x, y) * *$* $(

)1 ! 1 /$* $ 1 1

+ F0(x, y) 1$ 1 )( $ ' )2$'$6 )2 + + / ( 1-1 x < y 91 6 1 ) @$ + <

[$6 88 X$ 1 (

G x yF (x, y) $ )1

$ [$ $6 $* @$ $ $ 1$)$) ) 1 6 ) 1 ) / 1

! ( G F (x) & ¬F (x) )1 ! ) 1-

$ F0 ) $ F 1$ F0(x) & ¬F0(x) $ $ $ $ @$( 0 ( )1 0x(F (x) & ¬F (x)) 9 ): 1 <

$ $* $6 +$ 6 $ 1 0 ) - $ $6 )1$6 /$ $E 1 6 $ * 6$ 9 ): <

" 9 < >$6 +$ / 0 ) $)!

9 < xF (x) xG(x) → x(F (x) G(x))E 9 < x(F (x) & G(x)) → xF (x) & xG(x))E 9 < xG(x, x) → y zG(y, z)

9 < >$6 +$ 1 ' $) 0 + 9 < )- 1 ) * *$* $)

9U< >$6 +$ / 0 ) )1 ) * *$*

$) !

9 < xF (x, y) & xF (y, x)E 9 < xF (x, y) xF (y, x)

9 < >$6 +$ / 0 ) )1 )!

9 < x((F (x) → ¬F (x)) & (¬F (x) → F (x)))E 9 < y xF (x, y) & x y¬F (y, x)E

9 < (G(x) → G(y)) & xG(x) & x¬G(x)

B * $6$! 1 1 ' 6 ) 1

, / $ 1 6 1 ' $ -

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

+ * 4-' 5 $1 : 1 6$*

$*/ * $ +$ $2 + 1$ $

$) 1 /$ $

1 *$ $6 + * $ $ )

1$ ' + *

$ 2 : 92$* 4 1$5< 1 ) /

6 )( 1 ' * ) $

+ * $ $ )

+ @$ $ $+ 2 -$ $6 +$ $ $ $+ ( $ $( - +$6 ( 2 * 6 * W ( ' 1 -

( )+ * > -

* *$* $) 9 +$6 8Z< 0- ' 4$ $' 5 1$* $6 @$ 1 $

$) * $ $ )$6 0 ) 1-

$6 ! +$ 0$ $6 )2 + -

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

@$ $ +$ 6-6 4 5 +

+ 2 0 6 )( ) 0$

A ' 0 6 ) ) ) + )+ ( 1 @$

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

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

$6 $ 92$* (: \< 2

1$+ $6 )( 1-1 +$61 /6 $( )

+ $ $ ) * +

+ 6 $ / , $6$1 * @$ $: * $ $ + )2 $ 0

! : ; @ ( "

&eZ\QO kQYHJ[L +3V2/+>?,'

(l

+>,+ (l &mM[L blGOJY +>4V/+>5>' )

- (l

)

V [$6 888 X$ (

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

4G ) $ 0 M5 +$ +$

0 ) 2 */ M 91 ) < $) $ 0 $

$ 1 + @$ 6 \ $ $6

)$ $ $ 1 ) 1 1 + * 9$) -$ $) < $ 4G ) $ 0 M5 ) +$ 1$6 + M

Y $ M $ $ ( 0 ) 2 0

) $6 1$ 4G ) 0 ) 5

$ $ $ 4 0 5 1$6 $ $ $ , 9H + 1$1$6 $ M $ $ $2

0 2 1 + < Y M 1$ ) $1$6 1$ X$6 )$6 0 )

1$ $ +$ +$ $ 1 @$ $ -

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

) 1 ) < G ) ) ) 1$ $ )

)$6 ,

@$( / ( 2 ) $ $6 $6 41 1- ' 6 +$65 + * $ $ ) $*

$ 1 $) * ) $ 9,$ @$2 1 ) $ ) < > @$ 40 5 $

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

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

4 65 1 $ 0 ) @$( ) *√ 1 ) $ $6 ) 1$* )2 + 2

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

1$6 $ ¬ <

6 (: ) +$6 0 ) $+ ) +-

1 + $* $ +$6

0

B + 1 1 ' * +$ 1

)* $2 @$)2 4: 5 $)2 )$*

' 6 ($ 1$) * ) 0 1 1 - $) 1 *$* @$) : *E @$ 1-

$ + * $ $ ) X (+ )

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

B * $6$! 1 1 ' 6 ) 1

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

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

> * * $ 1$6

$' !

X / @$ 1 $ +$6 * ` 3 `3 A `A `

1 * * + $ $ ,0

!

C< 9 < B / 3X<E

< ¬ 9 / AB<E

< Y M $ M 9 ,

/ B <

> + +$ 1 6 ) , , +$ ,

0 ) 1 $ $* 1 ) $6 @$

) ) / ) 0 1-

* / 2 )$( 1 +$* 1 1 3!E & & E B * 2 )-

$( ) )2

> * $1 6 $6 )( ) 0 )2 1

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

4@$) : 5 $ *

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

$* A B ) @$ ) +$ $ $

$ 4A B5 9 D ' <E $

4A B5 ) ) +$ $ $( A B 1 $6$ 9 D ' <E 2$* ) -

$( A B $ )$* $ $6 $*

4A B5 9 D ' <E A )$ B $ +$ $* ) $ 4Y A $ B5 9-

1 ' <E $ $ $ $*

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

` D ' @$ 1 $)( 1 4-$6$ + 5! (-$ $' 9 1 ) (

$ 1 ( M< ) + * A B 9 *-

$6 + / < @$2 + $*

$6 $ C $ @$ $ +$ $6 /

) * ( $' 1 ) +$

' ) + 6: ) $ $) (-$ $ $ +$ @$ ($ $ ' ) + 6: ) $ ) +$ $6 )

+$ ) ($ $ / ' ) +

$' * @$ $ $ 1 $6$ $)( $ - )2 + 2 $ $ ) * 91-$) " ($6!#' )( )K5$"($%<! 1$ +$ 91 M<

$ A $ ) 1 2 ) $ ) +$ $6 ) +$ 91 M < $

A 9$ +$ $ $' < $ $ 1 6 +$

1 6$* $6 $ $ 2 2 91@$ U< $ ) ( Y - 1 *$! 4X * +6 ) 65 * $+ ! 4B

* ) ) * 1$ 2 * +$ *

) 5 * 1 6 6 1 1$

%)* > 1$ $ :-$6 $6$ $ 1$ 1$* / (

($ $

) $ < NGOMS nGRJRS & "

: ; :$ ;

) ' C $

> ' ) $* + $ $ )

1$6$ : 1 )2 4 5

) *$ $ +: *$6

1 2

> +$ & &

3 * @$ 1$ / 0 9 ,<!

&

@$( 0 * $6 * +$ $+$ :

) X $ +$) 1 : 1 / -

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

) $) @$ 1 1 *$* 1 +$( 0 1- + * 6$ $ 1 * X * ** 0 9-$* $( $ +$)< )$* E )

2 0 ) 9$ $) $ +$)< )$*

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

$6* 1 ) 9B + $ $6 $6 -

$ 1 ) ) 3 $ +$ $ $6 6

)2 $6 $ + 4 +$ $* $6

5E $ $ 1 $ $6 $ $ - ( 0 ) & 2 */ ( ) <

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

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

: +$ +$ ) 1$6 *

1 * ! $ $ -

$*$6 1 * : $ $ $ +$ 4 (5 :

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

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

+$) $+ / ( @$ :

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

* 1 :