Академический Документы
Профессиональный Документы
Культура Документы
РАЗДЕЛ 2
X P
X Q
предиката j
Q B j
Q P
j
; закон истинности для предикатов узнавания
x ( X ) x / a ( X )
i a U i . (2.1)
P F ( P ) F( P )
PM .
P M F P P M F P . (2.4)
PM
P M F P, M P M F P, M ;
PM
P M F P, M P M F P, M .
PM
( x1 , x2 , , xm ) M 1 M 2 M m P ( x1 , x2 , , xm )
x1 , x2 , , xm ( M 1 ( x1 ) M 2 ( x2 ) M m ( xm ) P ( x1 , x2 , , xm ));
( x1 , x2 , , xm ) M 1 M 2 M m P ( x1 , x2 , , xm )
x1 , x2 , , xm ( M 1 ( x1 ) M 2 ( x2 ) M m ( xm ) P ( x1 , x2 , , xm )).
xi ( X) xi / a( X) xi / a ( X) xi ( X) .
aU aU
m
отрицания и m кванторов существования, из ki предикатов узнавания
i 1
X Y X Y . (2.5)
P
X j x1 A1 (x2 A2 ...(xm Am ( X j ( x1 , x2 ,..., xm )
~ P ( x1 , x2 ,..., xm ))...); X ~ P X P XP.
xi a (0) 0;
X j P ( x1 , x2 ,..., xm ) X Pj ( x1 , x 2 ,..., x m )
P B j
( x / a y / bP( x, y ) x / b y / cP ( x, y ) x / a y / cP ( x, y )
a , b , cM .
yP( x ) P ( x ), yP ( x ) P ( x ) .
y ( P ( x )Q ( y )) P ( x )yQ( y ); y ( P ( x ) Q ( y )) P ( x ) yQ( y ).
47
xP ( x) x P ( x) ;
x, yP ( x, y ) y xP( x, y ) ;
xP ( x ) x P ( x ) ; (2.7)
xP ( x ) x P ( x ) . (2.8)
xP ( x ) x P ( x ) ; xP( x) x P ( x) .
B Sa , (2.9)
a A
B Sa , (2.10)
a A
Свойства ЛЛО F : ( M ) 2 N :
1) F A1 A2 F A1 F A2 или F A1 A2 F A1 F A2 ;
2) F 0 0 или ( F 0 , A1 , A2 M ).
B y S a y x / aK x, y x AK x, y . (2.12)
a A a A
B y x A x K x, y .
53
1) G A1 A2 G A1 G A2 или ( G A1 A2 G A1 G A2 );
2) G 0 1 или ( G N , A1 , A2 M ).
Отображения F и G, порождаемые отношением K M N , преобразуют
подмножество A M в подмножество B N . Описание этих отображений на
языке кванторной алгебры, т.е. в виде (2.11), (2.12), однозначно
предписывает алгоритм вычисления образов. Однако возникают технические
трудности, когда при помощи выражений (2.11), (2.12) необходимо
определить образ пустого множества. Это связано с тем фактом, что образ
множества определяется через образы входящих в него элементов. Исходные
определения, как видно, имеют тот же недостаток. Для ответа на
поставленный вопрос можно обратиться к отличной от (2.9), (2.10)
теоретико-множественной записи отображений F и G. Так, согласно [123],
отображение F : 2M 2 N имеет вид
x AK x, y x / aK x, y x M x a K x, y
a A a A
.
x M x a K x , y x M x a K x , y
aA aA
x M x a K x, y x M A x K x , y .
a A
56
B y x M A x K x, y . (2.15)
Для преобразования выражения (2.12) понадобятся все
вышеперечисленные тождества, а также законы де Моргана (законы
отрицания) для кванторов (2.7), (2.8)
x AK x, y x AK x, y x A K x, y
x / a K x , y x M x a K x , y
a A a A
a A
x M x a K x, y x M x a K x, y
a A
x M A x K x, y x M A x K x, y x M A x K x, y .
B y x M A x K x, y . (2.16)
B y x M 0 K x , y x M 0 x / a 0 0 .
aM
B y x M 0 K x, y x M 1 K x, y x M 1 x / a1 1 .
aM
57
E ( x, y ) u A( F ( x, u ) ~ F ( y, u )) , ( x, y A) .
( x, y ) M N : P ( x, y ) 1 – отношение, связывающее M , N и P .
M , A( x ) , N , B ( y ) , M N , F ( x, y ) : y N (x M F x, y , A x B y )
M N M N
.
2.5. Выводы по разделу
m
кванторов существования, из ki предикатов узнавания предмета, где ki –
i 1