Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

..pdf
Скачиваний:
77
Добавлен:
24.05.2014
Размер:
1.38 Mб
Скачать

X$ 1 ( 2 + * 1 6

6 5<E 9 < 4$ * $(

( * 5E 9U< 4Q$ * 1 ( : $5E

9 < 4Q$ + $ )$1$6 B B 5 9>-

* 9 < 9U< 9 < + 1$6 $ 9 < <

1 ( 9 < 9 < $ $ 2 1$)2 1-

( A BE 1 @$ A B $6$

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

$6 E $ @$ 1

$ 1 ) 9 + + *2 9 < 9 < A B $

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

2 + + 9 < 9U< 1$ +$ @$2 + *2

$) 1 , ) ) * ) 1 * < > 4A B5 4 5 1$* $6 +$ D*-

) 1 )$* + A B $ 1-

)$* + 1 ( 4A5 4B5E $

2$* ) 1 ( A B $ 1$ +

9$ A B )<

Q$6 $ $ + * D ' $ $ $)2

+ ( + 1$ $6 1 /6 / ( $ -

$( $')!

AB A B

 

 

 

 

 

 

 

 

 

Y P Q P Q +$ $ +$ 1 1 1 * D ' $ 1 * P Q P Q P Q - $) 1 P Q

+ *$6 * $ $ $6 6 ( + 1 43- ) +$) 5 / $ + 43 )

-) : ; "

&+' &,' &2' &?' * :T C

0 ; &2' &?'

&+' &,'

! ! " / F )

 

[$6 88 X$ 1 (

+$) 5 1 *$ 1 + ! 6

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

1 ( $2 + *2 @$2 1 ($6$ */ ( $ $ E $ +$ 1$ 9 :$< 1 43 ) +$) 5

) $6 + / ( 6 $ )

'$ / ( * @$ $6

> ( 4 5 $ * )

)2 + *! 1$1$ $6 $ - $ $6 $6 1 )$1 / 1 $2 1- *2! 9 < 4Y @$ 1$1 $ 1$1

$5E 9 < 4Y $ $ 2 : * 1 ) 1 (

5 9U< 4Y + ) $ $6 / :

5E 9 < 4Y )( $6 1 * 6 )( )

1 6$6 * $( > 0 5E 9 < 4Y * )$

@$ A A +5 @$2 1 ( $ -

$* +$ $ 1 B

$

+$ $ $ 1

A > @$

*/ ( $ $ A ($ $6$ 1 ( (

$* $ $ 9 $ +$ $*

9 << $ 6 $ $ + 1-

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

1 1 * 9 < >$6 $ A 1 @$ 1 E +$) $6 1 )*$6 1$1 $ ) +$) - + *! 9 < 1$1 $E @$ +

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

$E @$ + 6 * +$ $6 +$ A

1 9 < 1$1 1$1

$E @$ + $ $ ( +$6 A

9 < 1$1 $ 1$1 @$

+ A 1

. / ) !

: ;

& '

D : ;* :`

;

/ &+'

X$ 1 ( 2 + * 1 6 U

B 1 6 1 4Y A $ B5

)$6 1 $ $ + 1 1

+ ( A B @$ 1 1 +$6 +

+ A $ B + 2 $6 )2

+ *2

1 4Y A $ B5 9 + 4A A $ B5

4A +$ B5< 1 )$* + A → B )$*

1 ( A BE A $ B

1$ + 9$ A B $<

$

> * A B )$* $ $ $ ,

1 ' A → B

" $ 1 6$* A$ $* $' * 1 ' $ / ( !

AB A → B

 

 

 

 

 

 

 

 

 

Y P Q P Q +$ $ +$ 2 1 )- / 2 1 2 $ 1 * P → Q P → Q P → Q $)

1 P → Q

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

$ 5 $ $ $* 1 $( 1 + +$ 1 */ (

$6 6 $ ) $ / +$ $6 +$ $ 6$ $ * 2 $ '$ >- * 4Y + $* V $ +$5 4Y + $*V $ +$5 4Y + $* V $ +$5 9

$)\< $* 6-$ $) 1$ +$ * ($ $ +$ $ V $ +$ $6 +

$6 $ +$ $* V $* 9 $ * 0 4Y + $* V $ +$5 1 $ $ $ 6

*/ $ $ + $ +6 $

)$6 $ $ $ + 1 ) < 2-

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

! #$% / : ; : ; : ; . "

F A : B ;

B : ; A &! : ; '

[$6 88 X$ 1 (

+$ 1 *$ 1 ' 4$5 4$ $5

*$ 41 6 5 6 @$ 1 * :6 1 ) 1 ) +: * 4$ $(-$5 1 *$* 1 ' E 1 * $ 1 ) ) ) - * ) 1 *$ + +$6 $ $

) *$ 1 +$6 ) $ ) * 2 I X $

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

6 & 5 " " " " & " 2"" A → B

& " " A " B 5 "

/ *0 ? " & " " # > "

& " /E " A B0 " " & " " "

A " B # D * 5 * & "" /E " & " * @ "" 100H

"& 0 " * & "" /E " "

4 " * & 0# + & " "

" 2" * " " " " & " & % & " " " " " 45"; " "2 "

* #, & " /E " A B0 *

& & " " "" & " 45" 9 /6 " * & " A " " " "

" & " B#0 +) & " " " "

& " " " " # G#,

* ) $6 ) / *

* 1 ( 2 1 ( $2

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

$ $6 ) $ $ $ $* 1 )

1 + $ 1 $'$* $ +$$6 $ 1 ! 4 + 5 4$

) 5 Y 2 1 $6 A $ 1

+$ 4 +$ A5 $ 1 1 )$* +-

¬A )$* A

" $ ¬ ¯

A 1 :$ A

A$ $* $' * $' * $ $( !

j¬A

X$ 1 ( 2 + * 1 6

Y P Q P Q +$ $ +$ 1 ) / 2 1 2 $ 1 * ¬P ¬Q ) 1 * ¬P ¬Q$)

X ) & → ¬ )$* ,

Q " /& "0

" " " & 5*4 & & "2" * ;

" " " % "; & "; " /& 0

+ " O4 2"" * & 45

/" "0,# $ " " 45"; ";

" ; ; ; &" "

2 " "#

" >$6 X X Y Y +$ $ $ $! 4 +$

+ 5 4 +$ + 5 4 +$ + 5 4 +$ + 5 9 < 1 ( X & Y X & Y X & Y X & Y $)

)I

9 < 9 < B ( &

9 < B * 1 ( ¬X ¬X ¬Y ¬Y

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

1 * 2 D ' E $' $+$ * 1 ' *

$*/ * 1 1 $' * ) 1- + +$) 1 ' ! $ )2 $ 1 ' $ )$* D ' ( D ' ( 1 ' ( $ - ' 9B @$2 +$ 1 '

6$ $ 1 $ 4 D 5 41 + 5

<

>$6 $* 1 6 )( 1 ( X1, X2, . . .

. . . , XnE ) )$6 2 8 , 2 4$ $($5 1 $ $6 * Y 1- *$6 @$) 1 * 1 ' D ' D- ' 1 ' $' * 1 + ) 1 * 1-

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

1 ! X1 (¬X2) (X1 & X2) X3 ((X2) (X1 → X3)) & X1

B ) * $)

@$)2 1 (

1 /6 1 1 ' 6 )2 *

)$* 1

!$ F

& " / ' F

V

[$6 88 X$ 1 (

 

9 + , ,< X @$)

1 * $ +$ $* 0 1 ( 3 * 1 / * 1 0 1 ( $*

/ + 1 *$ 0$

A +$ $* +$ D ' * * )$ $ + 1-

' * D ' *

$ + D ' * 1 ' *

 

$ -

'

$

$6 )2 $2 1 ' ( 1 ! ¬X & Y

-

+$ (¬X) & Y

9

¬(X & Y )<E X Y & Z +$ X (Y & Z)

9

(X Y ) & Z<<E ¬(X → Y & Z) (X & ¬Y Z)

+$

(¬(X → (Y & Z))) ((X & (¬Y )) Z)

 

 

" 9 < >$6 +$ 4H ( ) @ 5 ( 4 ) @ 5 ! 4$ ) @ 5

9 < Q 1$6 1 /6 0 1 (! 91<

+$ H ( ) @ E 92< A $ +$ H ( ) @ $ +$ )

$E 93< Y $ ) @ $ H (

)

9 < Q 1$6 1-! 91< ¬(¬!& ¬ → ()E 92< ¬¬(( () & ¬!) 9 < >$6 X +$ 4 5 Y 4 * 6 5

9 < Q 1$6 1 /6 0 1 (! 91<

* 6 E 92< Y +$ $ )

$ * 6 E 93< +$

$ * 6 $ ) $

+$ $ * 6 E 94< Y +$

+$ +$ * 6 $ $

$

9 < Q 1$6 1-! 91< ¬X ¬Y E 92< ¬(X → Y ) → X & ¬XE 93< (Y X) & ¬Y → XE 94< ¬(¬(¬X → Y ) → Y ) → Y

1 ' D ' D ' 1 ' $' *

1 *$6 $6 1 * 1$ - 1 ! K2(x) K3(x) 1$) 1 ) $$6 )2 + + / $ $ $ 4x $* 5

4x $* U5 $ K2(x) & K3(x) 1$ 1 )(

$ $ + / ( 4x $* U5E D(x)F (x) 1$) 1 ) $ $ (

+ / $ $ $ 4x $ ' * ) 5 4x $ 0 ' * ) 5 $ D(x) F (x) 1$ 1 )( $

C a + b · c a + (b · c) (a + b) · c

* ) 5E '(x)

X$ 1 ( 2 + * 1 6

$ + / ( 4x $ ' 0 ' 1$ 1 )( $ $6- )2 + + / ( 4x +$5 $ ¬'(x) 1$ 1 )(

$ $ + / ( 4x +$5

B $6 :$6 1 ' ( 1 /6 $)2

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

1 ' 1$ $ ) * ) 1 /6 @$2 1 ' ( 1$ 4$ $5 $)2 )$ $6 * 9@$ 1$) ) )$6 8

,< )$* 1 9 '

) ) )$6 2 1$ 1< 1

F1(x, y, z) F2(x, y, z) G(x, y) P (x) @$) 1$) $ -

/ ) * * *$* 0 !

9 < F1(x1, x2, x3) → P (x4)E

9 < x¬zF2(x, y, z) ¬G(x, y)E

9 < y(¬zF1(z, y, y) → ¬z(¬P (z) & xG(z, x)))

Q 6 ) 1 6 * ) ): : 1 *-

($( $ $1 6 *$* / 1$! $) * )$ $ + D ' * D ' * 1 ' *

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

, @$ $ 1 0 9 < 1 )( $ * )-

$ 2 * y $( 2 z $ $( 2-

* z +$ $)( 2 x B 2 * 1 )2

0 $) * ) $ $ 2 * 1 )2

$) )$* ,E $6 ) 2 * 1-

)2 0 )$* , 1 0 9 <

$ * )2 2 x )2

2 * y * )2 2 * z

*$ +$ 1 * * *$* $( 0

( 0 $* ) 2 * @$( 1 ( G / * )2 2 ( 1 )2 )$- * 9B 1 0 9 < <

> 6 ) ): 9 1$ < 1 * ) 1-

( 1$ $ 1$ 1$ $ $6 $ @$( 1 ( * $* 0 1$*$ ( 1-

$* 1$ */ ( $ )2 1 )2 9 $6 $ 2\< 1 0 9 < )$ +$) 2$)(

[$6 88 X$ 1 (

1$ 0 9 < $)( 9$ 1 )2 x y< 0 9 < 1

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

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

$+ )2 $2 + ( ' $ $ $+ 1 * 41 5 + ( * ) 1$* $6-

1$ ) 1 1 ) $ 41 5 $ ) $6 0 1$(: - / 1 1 ' 6 )2 * ,$ $1 6 / 6

1

6 +$ @$)2 / 1-

$ ) $ )2 )2 $! C(x, y)

+ / ( 4B x * *$* 1$ $ y5 E(x, y) +- / ( 4x y 1$5 9 + ! 4x y $ $5<

B 0 ¬xC(x, x) $6 1 1 (

* ) + / 4 $ * *$* $ - ) 1$5E 0 z(C(x, z) & C(y, z)) $6 $)( 1-

$ 9$ 1 )2 x y< + / ( 4x y 1$

$ $5 ¬yC(y, x) $)( 1$ 9$ 1-

( x< + / ( 4x $ 1$5 H )$6 0 ( $)( 1$ + / ( 4x $ 9 <

1$5I [$) ($ $ 0 1 1$6 1- 0 $ )$6 $ $ ) 1- ) 1 9@$ $ 1 $ $ 1$ 1 1 $ $

* ) (< 1 )$6 $! 4X /$ $

$ y * * / * 1$ $ x $ +$ *

$ * * / * 1$ $ x 1$ y5 /

+ ! 4X /$ $ $ y * * / * 1$

$ x $ +$ ) ) $ z @$ z * *$* 1$ $ x $ z 1$ y5 H 1 1-

1$ : + ( * ) 4 6 5!

y(C(y, x) & z(C(z, x) → E(z, y)))

6 +$ @$)2 / $ 1-

$ ) $ ( 9 2 - : 2

) / 2E $ $* * ) $+ D @$

$ 6 1 +6<! P (x, y, z) + / ( 4x

X$ 1 ( 2 + * 1 6 C

y$ $ $ $' $6 zk 5 M(x) + / ( 4x '

1 5 E(x, y) + / ( 4x y $ $ + 5 [ @$ 1$) )$6 $) $

1 !

 

 

9 < >$) 4x

$' yk 5 4x $6 yk 5 1 )$* $-

$ $ zP (x, z, y) zP (z, x, y)

9 < 4x

) yk 5! ( zP (y, z, x) zP (z, y, x)) & M(x)

9 < 4x

:

yk 5! u v(P (u, x, v) & z(P (v, z, y) P (z, v, y)))

9Q 6 1 )( + D ' $+$ + : 1 $'$( + : 1 $<

9 < 4x y $)5 9 ) $ 1 $' 1 $<!

z t(P (z, t, x) & P (z, t, y)) & ¬E(x, y) & ¬M(x) & ¬M(y)

9 < 4x $ yk 5! $ $ $/ * 0 $+$* $ 1- ) / ( $ $ $ D$ + ¬M(y)

Q 1 ) / 1 1$ P (x, y, z) -

$) 1$ A(x, y) + / 4x 1 yk 5 [ 1-

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

$) $ 1 1$ 4x ) yk 5 1- )$* $! A(y, x) & ¬z(A(y, z) & A(z, x)) & M(x)E 1$ 4x - : yk 5 1$6 / ! A(x, y) & z(A(x, z) & & A(z, y) & ¬t(A(x, t) & A(t, z)) & ¬u(A(z, u) & A(u, y))) & ¬M(x)

6 +$ @$)2 1$ - ) $ $6 )2 + ! M(x, y) + / ( x < y

E(x, y) + / ( x = y B 1 * ) / )

($ $: * 4 6: 5 1 :$* $! x¬M(x, x) 9 + 6: *<E

x y z(M(x, y) & M(y, z) → M(x, z))

9 $ + 6: + @$ + 6:

$ $6 $ 1 6: $ $6 <E

x y(¬E(x, y) → M(x, y) M(y, x))

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

¬xM(x, 1)

. ) D "

& '

V

[$6 88

X$ 1 (

 

>$6 B

1$) 1 ) $

0$ + / $ $ $ 4x *5

4x *5 ,$ $ 1$ A(x, y, z) 1-

)( $ )2 4 5 $ + )2 1- $6$( $)2 2 9 *$6 * *- / 2 * < + / ( 4 z

$ $6 x y @$ 1 * 5 9 : ! 1

1 $ $6 1 < 1$ B(x, y)

$ 1 * 1 * 1$ $ $*

$ + / ( 4 x 2$ y5 * @$

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

/ 1$)!

9 < 4X x $ $ ( )5! ¬y zA(y, z, x) 9

$ $ ( ) $ $6 $ +

6 * $ $6 2 2 <

9 < 4X x $ $ 2 5!

y z(A(y, z, x) & ¬u vA(u, v, y) & ¬t sA(t, s, z)).

9 < 4> * x $6 y5!

t z(A(t, z, x) & ¬u vA(u, v, t) & B(y, t)).

9 < 4X x +$* (5!

t z y(A(t, z, x) & ¬u vA(u, v, t) & B(y, t) & (y)).

" 9 < )$6 + @$) 1$) 1 -

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

9 < 9 < )$6 + @$) 1$) 1 - / $) $! E * * 1 $' 9 ,

$ 1 6 5!"GH<E * *E 1 * ' E 1 + E - )( $ 9A$* 1 6 0 ) / 2 1$)

+ / 4x yk 5 $ <

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

91< u v(P (x, u, v) & z(P (v, z, y) P (z, v, y))) 92< t z u v(P (t, z, u) & P (t, z, v) & ¬E(u, v)&

& w s(P (u, w, x) P (w, u, x)) & (P (v, s, y) P (s, v, y))) & ¬M(x)

93< t z u v w s(P (t, z, x) & (P (t, z, u) & ¬E(x, u) & (P (u, v, w)P (v, u, w)) & (P (w, s, y) P (s, w, y))) & M(x)