You are on page 1of 3

20

2011-12
3 ( )

1. - :
P Q , x , y , z ,
a b , s
g . ,

.

.
. ,
x , y , z
.
((xyP( x, y ) Q( s ( z ), x)) zP( z, x))
xy ( P ( x, y ) P ( x, y ))
xy ((Q ( x, s ( x)) g ( x, y )) P ( g ( x, s ( y ))))
(xy ( P( x, y ) ( Q( x, z ))) P( x, s ( z )))
(xyz ( P ( x, y ) (Q( y, z ))) (Q( s ( x), g ( y, z )) P (a, z ))
x(x( P( x) Q( y, y )))
xQ( P (b, a ), Q ( x, x))
2. B ( x) , S ( x ) , G ( x) , D( x ) , M ( x, y ) P ( x, y )

x , x , x
, x , x y , x
y .

:

,
.


.

.

3. ,
.

. , x
y ( ).
x( S ( x) y ( B( y ) M ( x, y )))
z ( B ( z ) x( S ( x) M ( x, z )))
xyz ( S ( x ) B ( y ) B ( z ) ( y z ) M ( x, y ) M ( x, z ))
x[[ S ( x) y (( S ( y ) ( x y )) P( x, y))] z ( B( z ) M ( x, z ))]

4. 1
p ( ,
3.1()).
:

.

.
,
.

.

5. 1 ( ,
3.1()).
:
.
.
.

.

6.

:
. .
. A( x) , F ( x)
H ( x ) x , x ,
x . 1 , 2 , 3

.
{1 , 2 } |= 3 .
7. (
3.9, 116).
, (
). ,
Tarski ( 3.7, 109)
( 122)
.
xy[( P( x) P( y ) R( x, y )) z ( R( x, z ) R ( z , y ))]
x( P( x) A( x )) (xP( x) xA( x))
[x ( A( x) B( x)) xB ( x)] xA( x)
xyz (( P ( x, y ) Q( x, z )) (Q( y , z ) P ( x, z )))
8. [x( A( x) B( x)) xB ( x)]
( , 3.3, 126).