
Введение в современную логику - Гладкий А.В
..pdf
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 " & " * @ "" 100◦H
"& 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
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)